2451 search results - page 82 / 491 » The Octagon Abstract Domain |
168
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
156
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
168
click to vote
AI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Dynamic Bayesian networks (DBNs) extend Bayesian networks from static domains to dynamic domains. The only known generic method for exact inference in DBNs is based on dy...
158
click to vote
AIPS
1996
15 years 7 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
170
click to vote
ADBIS
2005
Springer
15 years 12 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...