1236 search results - page 150 / 248 » The Problems of Data Modeling in Software Practice |
142
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
151
click to vote
WSCG
2004
15 years 5 months ago
2004
Accurately and automatically conveying the structure of a volume model is a problem not fully solved by existing volume rendering approaches. Physics-based volume rendering approa...
144
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We study decision making in environments where the reward is only partially observed, but can be modeled as a function of an action and an observed context. This setting, known as...
229
Voted
VLDB
2005
ACM
16 years 4 months ago
2005
ACM
Abstract Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that "the sensornet is a database" i...
138
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...