3828 search results - page 366 / 766 » Proof-Based System Engineering Using a Virtual System Model |
191
click to vote
IPM
2007
15 years 6 months ago
2007
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
181
click to vote
AAAI
1994
15 years 8 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
198
click to vote
WCRE
2006
IEEE
16 years 22 days ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
157
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
The ability to walk up to any computer, personalize it, and use it as one's own has long been a goal of mobile computing research. We present SoulPad, a new approach based on...
147
Voted
HAPTICS
2003
IEEE
16 years 10 hour ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...