Sciweavers

1809 search results - page 285 / 362
» On Score Distributions and Relevance
Sort
View
PERVASIVE
2007
Springer
16 years 8 days ago
Objects Calling Home: Locating Objects Using Mobile Phones
Locating physical items is a highly relevant application addressed by numerous systems. Many of these systems share the drawback that costly infrastructure must be installed before...
Christian Frank, Philipp Bolliger, Christof Rodune...
PVM
2007
Springer
16 years 8 days ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
SEMWEB
2007
Springer
16 years 8 days ago
Dynamic Ontology Co-Evolution from Texts: Principles and Case Study
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
Kévin Ottens, Nathalie Aussenac-Gilles, Mar...
ICARCV
2006
IEEE
137views Robotics» more  ICARCV 2006»
16 years 6 days ago
Nanorobot Communication Techniques: A Comprehensive Tutorial
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
Adriano Cavalcanti, Tad Hogg, Bijan Shirinzadeh, H...
ICMB
2006
IEEE
132views Business» more  ICMB 2006»
16 years 6 days ago
Generating User Interfaces from CDISC ODM for Mobile Devices
Clinical studies are often conducted as multi-centered studies involving participants at different locations. Thus it becomes obvious that using mobile platforms and remote data e...
Guido M. de Melo, Jürgen Nagler-Ihlein, Micha...