3333 search results - page 199 / 667 » Abstract Proof Search |
139
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
136
click to vote
AMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we study interfaces for image retrieval systems. Current image retrieval interfaces are limited to providing query facilities and result presentation. The u...
112
click to vote
GCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Search is until now a difficult problem in peer-to-peer (P2P) filesharing systems. In this paper, we propose to use adaptive metadata spreading to make search in P2P netw...
124
click to vote
AI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we study the behaviour of the Scaling and Probabilistic Smoothing (SAPS) dynamic local search algorithm on the unweighted MAXSAT problem. MAX-SAT is a conc...
150
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract: Some emerging trends in the recent development of the WWW can be observed. These trends are technical, like Web Services, as well as semantic, like the integration of ont...