1888 search results - page 101 / 378 » Proof theory and computational analysis |
103
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
111
Voted
AUTOMATICA
2004
15 years 12 days ago
2004
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
119
click to vote
DIGRA
2005
Springer
15 years 6 months ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
96
Voted
CLEIEJ
2008
15 years 19 days ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...
115
click to vote
TKDE
2010
14 years 11 months ago
2010
— Tampering of a database can be detected through the use of cryptographically-strong hash functions. Subsequently-applied forensic analysis algorithms can help determine when, w...