231 search results - page 37 / 47 » Using Analytic CLP to Model and Analyze Hybrid Systems |
IFIPTCS
2000
14 years 1 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
BMCBI
2006
13 years 9 months ago
2006
Background: Microarray technologies have become common tools in biological research. As a result, a need for effective computational methods for data analysis has emerged. Numerou...
TSP
2010
13 years 4 months ago
2010
Abstract--With increasing spatial reuse of radio spectrum, cochannel interference is becoming a dominant noise source and may severely degrade the communication performance of wire...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— The demand for flexible and re-programmable robots has increased the need for programming by demonstration systems. In this paper, grasp recognition is considered in a program...