2632 search results - page 468 / 527 » Alternating Timed Automata |
107
click to vote
CHI
2007
ACM
16 years 8 days ago
2007
ACM
The use of location-based technology to augment visitor experiences has received considerable attention over the years. In this paper, we take an alternative perspective on these ...
VLSID
2005
IEEE
16 years 7 days ago
2005
IEEE
Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. The time taken for a logic gate output to change after...
104
click to vote
RECOMB
2005
Springer
16 years 5 days ago
2005
Springer
Background: Support Vector Machines (SVMs) ? using a variety of string kernels ? have been successfully applied to biological sequence classification problems. While SVMs achieve ...
105
click to vote
CADE
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
104
click to vote
CADE
2005
Springer
16 years 5 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...