769 search results - page 147 / 154 » Is Logic all in our Heads |
121
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
199
click to vote
PODS
2009
ACM
16 years 1 months ago
2009
ACM
Relational schema mappings have been extensively studied in connection with data integration and exchange problems, but mappings between XML schemas have not received the same amo...
183
Voted
POPL
2005
ACM
16 years 29 days ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
209
Voted
POPL
2005
ACM
16 years 29 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
138
Voted
MOBISYS
2008
ACM
16 years 7 days ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...