2060 search results - page 326 / 412 » The Composition of Event-B Models |
119
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
127
Voted
COMPGEOM
2003
ACM
15 years 9 months ago
2003
ACM
We introduce billboard clouds – a new approach for extreme simplification in the context of real-time rendering. 3D models are simplified onto a set of planes with texture and...
136
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
131
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
Engineering problem solving requires both domain knowledge and an understanding of how to apply that knowledge. While much of the recent work in qualitative physics has focused on...
CIKM
1997
Springer
15 years 8 months ago
1997
Springer
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...