3119 search results - page 551 / 624 » General Default Logic |
110
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
123
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
131
Voted
EDBT
2006
ACM
16 years 27 days ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
83
Voted
ICSE
2005
IEEE-ACM
16 years 26 days ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
123
Voted
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...