549 search results - page 67 / 110 » Verification condition generation for conditional informatio... |
JETAI
2006
15 years 16 days ago
2006
In robot building, attention tends to focus on internal signal processing and the way desired motor signals are generated. But equally important is the selection and configuration...
91
Voted
TITB
1998
15 years 6 days ago
1998
The aim of the ViVa project is to develop tools for the modern hemodynamicist and cardiovascular surgeon to study and interpret the constantly increasing amount of information bei...
131
click to vote
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
Recent years have seen the growing popularity of multi-rate wireless network devices (e.g., 802.11a cards) that can exploit variations in channel conditions and improve overall ne...
112
click to vote
AAAI
1996
15 years 1 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
139
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: With the expansion of public repositories such as the Gene Expression Omnibus (GEO), we are rapidly cataloging cellular transcriptional responses to diverse experiment...