11345 search results - page 2034 / 2269 » Foundations of Computer Science |
134
click to vote
KI
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
105
click to vote
MLDM
1999
Springer
15 years 7 months ago
1999
Springer
Content-based image retrieval methods based on the Euclidean metric expect the feature space to be isotropic. They suer from unequal dierential relevance of features in comput...
115
click to vote
PADL
1999
Springer
15 years 7 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
108
click to vote
LICS
1998
IEEE
15 years 7 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
127
click to vote
ADBIS
1998
Springer
15 years 7 months ago
1998
Springer
For the last many years, workflow management (WFM) has been the focus of intense activity in terms of products, standards and research work worldwide. WFM integrates concepts from ...