2203 search results - page 255 / 441 » Temporal Abstract Interpretation |
131
click to vote
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
136
Voted
SAS
2005
Springer
15 years 9 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
151
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose an approach for modeling the navigational behavior of Web users based on task-level patterns. The discovered “tasks” are characterized probabilistically as...
102
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
156
click to vote
VLSM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Many problems in image analysis and computer vision involving boundaries and regions can be cast in a variational formulation. This means that m-surfaces, e.g. curves and...