1709 search results - page 223 / 342 » Precise Modeling of Design Patterns |
ICDT
1995
ACM
15 years 5 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
118
Voted
AIPS
2008
15 years 4 months ago
2008
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
130
Voted
GRAPHICSINTERFACE
1996
15 years 3 months ago
1996
Paper, sheet metal, and many other materials are approximately unstretchable. The surfaces obtained by bending these materials can be flattened onto a plane without stretching or ...
106
click to vote
STTT
2010
15 years 5 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
117
Voted
ICMI
2003
Springer
15 years 7 months ago
2003
Springer
Gesture recognition is becoming a more common interaction tool in the fields of ubiquitous and wearable computing. Designing a system to perform gesture recognition, however, can...