1380 search results - page 215 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
296
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
175
click to vote
EVOW
2007
Springer
16 years 1 days ago
2007
Springer
Understanding the self-regulatory mechanisms controlling the spatial and temporal structure of multicellular organisms represents one of the major challenges in molecular biology. ...
151
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
153
click to vote
WCE
2007
15 years 7 months ago
2007
The purpose of the air distribution system in a fluidised bed combustor is to provide a reasonably uniform spread of combustion air over the entire horizontal cross-sectional area...
144
click to vote
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...