11160 search results - page 241 / 2232 » Incompleteness in a General Setting |
180
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We describe in this paper Ant-P-solver, a generic constraint solver based on the Ant Colony Optimization (ACO) metaheuristic. The ACO metaheuristic takes inspiration on t...
139
click to vote
ISLPED
1995
ACM
15 years 9 months ago
1995
ACM
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...
175
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
Answering queries over ontologies is an important issue for the Semantic Web. Aggregate queries were widely studied for relational databases but almost no results are known for ag...
161
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
The paper is devoted to the investigation of imprecision indices, introduced in [7]. They are used for evaluation of uncertainty (or more exactly imprecision), which is contained ...
154
click to vote
FLAIRS
2004
15 years 7 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...