1690 search results - page 134 / 338 » Algorithmic Properties of Millstream Systems |
177
click to vote
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
Developable surfaces have many desired properties in manufacturing process. Since most existing CAD systems utilize parametric surfaces as the design primitive, there is a great d...
150
click to vote
GBRPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a new framework for feature grouping based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables....
122
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
143
click to vote
APGV
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes a new technique to visualize 2D flow fields with a sparse collection of dots. A cognitive model proposed by Kent Stevens describes how spatially local con...
133
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...