3765 search results - page 584 / 753 » Formal Methods for Systems Engineering Behavior Models |
158
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The study of biological systems demands computational support. If targeting a biological problem, the reuse of existing computational models can save time and effort. ...
165
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Most retrieval models estimate the relevance of each document to a query and rank the documents accordingly. However, such an approach ignores the uncertainty associated with the ...
163
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...
176
click to vote
CCGRID
2006
IEEE
16 years 18 days ago
2006
IEEE
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
169
click to vote
UIST
2006
ACM
16 years 14 days ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...