2357 search results - page 350 / 472 » Computing Refactorings of Behavior Models |
117
click to vote
ICVS
2003
Springer
15 years 8 months ago
2003
Springer
Most approaches to detection and classification of human activity deal with observing individual persons. However, people often tend to organize into groups to achieve certain goa...
127
click to vote
ISSAC
2001
Springer
15 years 7 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
105
click to vote
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
145
click to vote
DAGSTUHL
1997
15 years 4 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
106
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...