7213 search results - page 307 / 1443 » Automated model grouping |
164
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
159
click to vote
TARK
2005
Springer
16 years 6 days ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
156
click to vote
ASSETS
1998
ACM
15 years 11 months ago
1998
ACM
We are building an aid for individuals with hearing impairments which converts continuous speech into an animated visual display. A speech analysis system continuously estimates p...
149
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most of today's business applications have to deal with automated workflows. In this paper, we argue that the blackboard pattern can be used to create an architectur...
158
click to vote
MICS
2008
15 years 6 months ago
2008
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...