4693 search results - page 881 / 939 » Verifying Hybrid Systems |
114
Voted
RECOMB
2003
Springer
16 years 26 days ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
110
Voted
CADE
2007
Springer
16 years 26 days ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
191
Voted
SIGMOD
2008
ACM
16 years 21 days ago
2008
ACM
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...
200
Voted
SIGMOD
2008
ACM
16 years 21 days ago
2008
ACM
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
209
click to vote
SIGMOD
2006
ACM
16 years 21 days ago
2006
ACM
Monitoring is an issue of primary concern in current and next generation networked systems. For example, the objective of sensor networks is to monitor their surroundings for a va...