445 search results - page 5 / 89 » Classifying model-theoretic properties |
JUCS
2002
13 years 9 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
ETS
2010
IEEE
13 years 11 months ago
2010
IEEE
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
SIGIR
1995
ACM
14 years 1 months ago
1995
ACM
It has been known that using different representations of either queries or documents, or different retrieval techniques retrieves different sets of documents. Recent work suggest...
IJCAI
2007
13 years 11 months ago
2007
Recent development of location technologies enables us to obtain the location history of users. This paper proposes a new method to infer users’ longterm properties from their r...