10568 search results - page 1810 / 2114 » Computer Intelligence and Formalization |
173
click to vote
NCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
140
click to vote
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
118
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we propose an extension of three incomplete depthfirst search techniques, namely depth-bounded backtrack search, credit search, and iterative broadening, towards pr...
119
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
As opposed to finite domain CSPs, arc consistency cannot be enforced, in general, on CSPs over the reals, including very simple instances. In contrast, a stronger property, the s...
116
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
When a partitional structure is derived from a data set using a data mining algorithm, it is not unusual to have a different set of outcomes when it runs with a different order of...