1222 search results - page 223 / 245 » A Bayesian Approach to Model Checking Biological Systems |
144
click to vote
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
132
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
141
click to vote
IJON
2008
15 years 14 days ago
2008
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...
133
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
141
Voted
PKDD
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In many applications of data mining a - sometimes considerable - part of the data values is missing. This may occur because the data values were simply never entered into...