1380 search results - page 215 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
OOPSLA
2004
Springer
14 years 2 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...
EVOW
2007
Springer
14 years 3 months 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. ...
ECOOP
2004
Springer
14 years 2 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...
WCE
2007
13 years 10 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...
CIKM
2006
Springer
14 years 19 days 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...