Sciweavers

4513 search results - page 684 / 903
» Modeling with a Sense of Purpose
Sort
View
ICCV
1998
IEEE
15 years 11 months ago
Hyperbolic "Smoothing" of Shapes
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...
Kaleem Siddiqi, Allen Tannenbaum, Steven W. Zucker
HT
1998
ACM
15 years 11 months ago
Enforcing Strong Object Typing in Flexible Hypermedia
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
Pedro Furtado, Henrique Madeira
KR
1998
Springer
15 years 11 months ago
Specifying Transactions for Extended Abduction
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
Katsumi Inoue, Chiaki Sakama
156
Voted
CANDT
2009
15 years 10 months ago
Experiential role of artefacts in cooperative design
The role of material artefacts in supporting distributed and colocated work practices has been well acknowledged within HCI and CSCW research. In this paper, we show that in addit...
Dhaval Vyas, Dirk Heylen, Anton Nijholt, Gerrit C....
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler