3009 search results - page 455 / 602 » The Expressive Rate of Constraints |
146
click to vote
ESOP
2007
Springer
16 years 21 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
165
click to vote
FCT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
186
click to vote
LFCS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
180
click to vote
SCALESPACE
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
177
click to vote
ACSD
2006
IEEE
16 years 18 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...