2940 search results - page 92 / 588 » Relational Parametricity and Control |
131
click to vote
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
Continuous changes of the coefficients of a polynomial move the roots continuously. We consider the problem finding the minimal perturbations to the coefficients to move a root to...
138
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Ethernet communication devices, such as adapter, hub, bridge and switch, all follow IEEE 802.3 standard protocol. We have designed and implemented an integrated 10/100 Mbps Etherne...
116
click to vote
HCI
2007
15 years 5 months ago
2007
In this paper part of the work of the research project ‘IntExMa’ is presented, that aims at the development of an interactive, in-store sales support system focusing on the vir...
128
click to vote
DAGSTUHL
1997
15 years 5 months ago
1997
Finding one’s way through a complex virtual environment is a standard task in 3D graphics and virtual reality applications. Constrained navigation is a method that appropriately...
134
click to vote
JVCA
2006
15 years 4 months ago
2006
This work proposes a real-time virtual human multimodal expression model. Five modalities explore the affordances of the body: deterministic, non-deterministic, gesticulation, faci...