Sciweavers

2699 search results - page 200 / 540
» Planning to Gather Information
Sort
View
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 11 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
15 years 11 months ago
Weighting Observations: The Use of Kinematic Models in Object Tracking
We describe a model-based object tracking system that updates the configuration parameters of an object model based upon information gathered from a sequence of monocular images. ...
Kevin Nickels, Seth Hutchinson
ASUNAM
2009
IEEE
15 years 10 months ago
Getting Online but Still Living Offline: The Complex Relationship of Technology Adoption and In-person Social Networks
Previous research in Kyrgyzstan has demonstrated the importance of close social networks as avenues for gathering and sharing information, assistance and goods in the country. How...
Cynthia Putnam, Beth E. Kolko
ESWS
2008
Springer
15 years 8 months ago
Mymory: Enhancing a Semantic Wiki with Context Annotations
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...
Malte Kiesel, Sven Schwarz, Ludger van Elst, Georg...
WIIW
2001
122views more  WIIW 2001»
15 years 8 months ago
A Framework for Molecular Biology Data Integration
: Molecular biology data are placed in different databases, repositories and flat files, usually distributed over the web. Distinct data models with schemas that are often changing...
Sérgio Lifschitz, Luiz Fernando Bessa Seibe...