13 search results - page 2 / 3 » Kodkod: A Relational Model Finder |
MDM
2007
Springer
13 years 11 months ago
2007
Springer
FriendFinder as a location-based service collects location data from mobile users and distributes a particular user’s location upon request. Privacy of users data especially loc...
CHI
2000
ACM
13 years 9 months ago
2000
ACM
When a novice needs help, often the best solution is to find a human expert who is capable of answering the novice’s questions. But often, novices have difficulty characterizing...
JCSC
2000
13 years 5 months ago
2000
A long range Laser Range Finder (LRF) is proposed and developed in this paper. A mathematical model, which relates the relation between object distance and Position Sensitive Dete...
BMCBI
2007
13 years 5 months ago
2007
Background: Despite a remarkable success in the computational prediction of genes in Bacteria and Archaea, a lack of comprehensive understanding of prokaryotic gene structures pre...
DEXA
2003
Springer
13 years 10 months ago
2003
Springer
In recent years, link-based information retrieval methods from the Web are developed. A framework of these methods is a Web graph using pages as vertices and Web-links as edges. In...