5550 search results - page 742 / 1110 » Different Approaches to Proof Systems |
190
click to vote
COSIT
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
181
click to vote
IJCNLP
2005
Springer
16 years 16 days ago
2005
Springer
In this paper, a resolution system is presented to tackle nominal and pronominal anaphora in biomedical literature by using rich set of syntactic and semantic features. Unlike prev...
190
click to vote
ISMIS
2005
Springer
16 years 16 days ago
2005
Springer
In spatial data mining, a common task is the discovery of spatial association rules from spatial databases. We propose a distributed system, named ARES that takes advantage of the ...
197
click to vote
MATES
2005
Springer
16 years 15 days ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
197
click to vote
MDM
2005
Springer
16 years 15 days ago
2005
Springer
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...