期刊


ISSN0218-2130
刊名International Journal of Artificial Intelligence Tools
参考译名国际人工智能工具杂志
收藏年代2000～2024



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022 2023
2024

2008, vol.17, no.1 2008, vol.17, no.2 2008, vol.17, no.3 2008, vol.17, no.4 2008, vol.17, no.5 2008, vol.17, no.6

题名作者出版年年卷期
DESIGN AND RESULTS OF THE 3RD ANNUAL SATISFIABILITY MODULO THEORIES COMPETITION (SMT-COMP 2007)CLARK BARRETT; MORGAN DETERS; ALBERT OLIVERAS; AARON STUMP20082008, vol.17, no.4
TOWARDS PATTERN-BASED REASONING FOR FRIENDLY ONTOLOGY DEBUGGINGMUSTAFA JARRAR; STIJN HEYMANS20082008, vol.17, no.4
A SUPPORT VECTOR DATA DESCRIPTION APPROACH FOR BACKGROUND MODELING IN VIDEOS WITH QUASI-STATIONARY BACKGROUNDSALIREZA TAVAKKOLI; MIRCEA NICOLESCU; GEORGE BEBIS; MONICA NICOLESCU20082008, vol.17, no.4
A STUDY OF TEXTUAL ENTAILMENTVASILE RUS; PHILIP M. McCARTHY; DANIELLE S. McNAMARA; ARTHUR C. GRAESSER20082008, vol.17, no.4
DISAMBIGUATION OF GREEK POLYSEMOUS WORDS USING HIERARCHICAL PROBABILISTIC NETWORKS AND A CHI-SQUARE FEATURE SELECTION STRATEGYKOSTAS FRAGOS; SPIROS PANETSOS20082008, vol.17, no.4
A SPACE-EFFICIENT BACKTRACK-FREE REPRESENTATION FOR CONSTRAINT SATISFACTION PROBLEMSJ. CHRISTOPHER BECK; TOM CARCHRAE; EUGENE C. FREUDER; GEORG RINGWELSKI20082008, vol.17, no.4
GENETIC-BASED APPROACH FOR SYNTHESIZING TEXTURECHIN-CHEN CHANG; YEN-TING KUO; WEN-KAI TAI20082008, vol.17, no.4
ON FINDING MINIMALLY UNSATISFIABLE CORES OF CSPsERIC GREGOIRE; BERTRAND MAZURE; CEDRIC PIETTE20082008, vol.17, no.4
FUZZY C-MEANS ALGORITHM WITH LOCAL THRESHOLDING FOR GRAY-SCALE IMAGESHSIAO PIAU NG; SIM HENG ONG; KELVIN WENG CHIONG FOONG; POH SUN GOH; WIESLAW L. NOWINSKI20082008, vol.17, no.4



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024