3333 search results - page 441 / 667 » Abstract Proof Search |
174
click to vote
DCOSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The optimal allocation of samples for activity-level detection in a wireless body area network for health-monitoring applications is considered. A wireless body area netw...
161
click to vote
ICVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract— An autonomous mobile robot must face the correspondence or data association problem in order to carry out tasks like place recognition or unknown environment mapping. I...
157
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
192
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
A weakly-supervised extraction method identifies concepts within conceptual hierarchies, at the appropriate level of specificity (e.g., Bank vs. Institution), to which attribute...
157
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...