3281 search results - page 163 / 657 » Bases for parametrized iterativity |
103
Voted
FCT
2007
Springer
15 years 8 months 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...
114
Voted
SMA
2003
ACM
15 years 7 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
84
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation — even an object’s own ...
116
click to vote
CVPR
1997
IEEE
15 years 6 months ago
1997
IEEE
Grouping based on common motion, or “common fate” provides a powerful cue for segmenting image sequences. Recently a number of algorithms have been developed that successfully...
127
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...