2308 search results - page 334 / 462 » Representing Symbolic Reasoning |
213
click to vote
HUC
2011
Springer
14 years 6 months ago
2011
Springer
GPS-equipped taxis can be viewed as pervasive sensors and the large-scale digital traces produced allow us to reveal many hidden “facts” about the city dynamics and human beha...
206
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
163
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
170
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
163
click to vote
INTELLCOMM
2004
Springer
15 years 11 months ago
2004
Springer
Web prefetching techniques have pointed to be especially important to reduce web latencies and, consequently, an important set of works can be found in the open literature. But, in...