1689 search results - page 148 / 338 » Refining abstract interpretations |
141
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
121
Voted
ICCS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...
144
click to vote
ICFEM
2000
Springer
15 years 8 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
168
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
153
click to vote
ECCV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a detection-based three-level hierarchical association approach to robustly track multiple objects in crowded environments from a single camera. At the low lev...