11182 search results - page 1835 / 2237 » Shape Analysis of Sets |
206
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
162
click to vote
KDD
1994
ACM
15 years 11 months ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
199
click to vote
MM
1994
ACM
15 years 11 months ago
1994
ACM
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...
162
click to vote
RTA
1993
Springer
15 years 11 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
228
click to vote
SIGMOD
1993
ACM
15 years 11 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...