10159 search results - page 267 / 2032 » System Design Validation Using Formal Models |
108
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
130
click to vote
ECSCW
1997
15 years 4 months ago
1997
: Formal tools (i.e , tools that operate on circumscribed input using rules, and that contain a model of the workplace in which are to function) are attributed central roles in org...
145
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
104
click to vote
CGVR
2006
15 years 4 months ago
2006
- The challenges in modeling 3-D objects using facets and surface patches are investigated, and enhancement over the Gouraud's and Phong's interpolative shading is presen...
128
click to vote
IUI
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...