167 search results - page 14 / 34 » The central role of mathematical logic in computer science |
200
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
118
Voted
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
SOFSEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
127
click to vote
STACS
1993
Springer
15 years 3 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
86
Voted
ASAP
2004
IEEE
15 years 3 months ago
2004
IEEE
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...