7623 search results - page 919 / 1525 » Constructive Volume Modeling |
182
click to vote
KR
1992
Springer
15 years 11 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
168
click to vote
WMRD
1992
15 years 11 months ago
1992
Modeling the reliability of distributed systems requires a good understanding of the reliability of the components. Careful modeling allows highly fault-tolerant distributed appli...
200
click to vote
AIMSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...
170
click to vote
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
201
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...