7918 search results - page 1444 / 1584 » Model Composition Directives |
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...
120
Voted
SG
2005
Springer
15 years 6 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
94
Voted
IUI
2004
ACM
15 years 6 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
120
Voted
P2P
2003
IEEE
15 years 6 months ago
2003
IEEE
Sensor networks, that consist of potentially several thousands of nodes each with sensing (heat, sound, light, magnetism, etc.) and wireless communication capabilities, provide gr...
124
Voted
WCRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...