471 search results - page 46 / 95 » Exploration of Simulation Experiments by Discovery |
126
Voted
AI
2007
Springer
15 years 9 months ago
2007
Springer
Many researchers have used text classification method in solving the ontology mapping problem. Their mapping results heavily depend on the availability of quality exemplars used as...
111
Voted
UIST
2006
ACM
15 years 9 months ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
134
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
130
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
106
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- This study points out some weaknesses of existing Quantum-Inspired Evolutionary Algorithms (QEA) and explains in particular how hitchhiking phenomenons can slow down the...