6020 search results - page 104 / 1204 » A New Approach to Model Counting |
138
Voted
ACMACE
2008
ACM
15 years 5 months ago
2008
ACM
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...
103
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
133
click to vote
JMLR
2008
15 years 3 months ago
2008
The statistical problem of estimating the effective dimension-reduction (EDR) subspace in the multi-index regression model with deterministic design and additive noise is consider...
154
click to vote
TSMC
2011
14 years 10 months ago
2011
—Developmental robotics is also known as epigenetic robotics. We propose in this paper that there is one substantial difference between developmental robotics and epigenetic robo...
120
click to vote
ECIS
2001
15 years 5 months ago
2001
The web-technology is going through major changes these years, both with respect to types of systems based on web-technology, organization of the development work, required approa...