Sciweavers

826 search results - page 118 / 166
» Resolving Concurrent Interactions
Sort
View
97
Voted
ENTCS
2007
85views more  ENTCS 2007»
15 years 2 months ago
Proving Approximate Implementations for Probabilistic I/O Automata
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
Sayan Mitra, Nancy A. Lynch
132
Voted
JSS
2006
65views more  JSS 2006»
15 years 2 months ago
Patterns of conflict among software components
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...
Michelle Hepner, Rose F. Gamble, Manasi Kelkar, Le...
132
Voted
TCBB
2008
116views more  TCBB 2008»
15 years 2 months ago
Inferring Connectivity of Genetic Regulatory Networks Using Information-Theoretic Criteria
Recently, the concept of mutual information has been proposed for inferring the structure of genetic regulatory networks from gene expression profiling. After analyzing the limitat...
Wentao Zhao, Erchin Serpedin, Edward R. Dougherty
104
Voted
ESWA
2010
136views more  ESWA 2010»
15 years 1 months ago
Case-based adaptation for automotive engine electronic control unit calibration
The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
Chi-Man Vong, Pak-Kin Wong
134
Voted
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 1 months ago
Understanding and executing instructions for everyday manipulation tasks from the World Wide Web
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
Moritz Tenorth, Daniel Nyga, Michael Beetz