4266 search results - page 311 / 854 » Search for More Declarativity |
205
click to vote
AMAI
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
197
click to vote
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
Semantic Web Services are a promising combination of Semantic Web and Web service technology, aiming at providing means of automatically executing, discovering and composing seman...
144
Voted
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
Virtual Reality (VR) has generated much excitement but little formal proof that it is useful. Because VR interfaces are difficult and expensive to build, the computer graphics co...
186
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
171
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Feature selection is a critical procedure in many pattern recognition applications. There are two distinct mechanisms for feature selection namely the wrapper methods and the filte...