6141 search results - page 863 / 1229 » Models and representation of their ownership |
161
click to vote
SAT
2004
Springer
16 years 6 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
228
Voted
STDBM
2004
Springer
16 years 6 days ago
2004
Springer
With the recent progress of spatial information technologies and mobile computing technologies, spatio-temporal databases which store information on moving objects including vehicl...
213
Voted
IUI
2003
ACM
16 years 3 days ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
219
Voted
AMKM
2003
Springer
16 years 2 days ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
171
click to vote
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...