2705 search results - page 519 / 541 » Privacy in Data Mining Using Formal Methods |
IHIS
2005
ACM
14 years 1 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
SFM
2005
Springer
14 years 1 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
ICCV
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper addresses the problem of computing the trajectory of a camera from sparse positional measurements that have been obtained from visual localisation, and dense differenti...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
IPMI
2005
Springer
14 years 8 months ago
2005
Springer
Obesity has risen to epidemic levels in the United States and around the world. Global indices of obesity such as the body mass index (BMI) have been known to be inaccurate predict...