1541 search results - page 307 / 309 » Tools and Techniques for Model Checking Networked Programs |
121
click to vote
AIPS
2009
15 years 1 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
113
click to vote
BMCBI
2010
15 years 14 days ago
2010
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
131
click to vote
ANOR
2004
15 years 6 days ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
105
click to vote
IMC
2007
ACM
15 years 1 months ago
2007
ACM
Packet delay and loss are two fundamental measures of performance. Using active probing to measure delay and loss typically involves sending Poisson probes, on the basis of the PA...
110
click to vote
IUI
2005
ACM
15 years 5 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...