3235 search results - page 486 / 647 » Partial Redundant Modeling |
124
click to vote
ICASSP
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper we describe a technique that allows the extraction of multiple local shift-invariant features from analysis of non-negative data of arbitrary dimensionality. Our app...
161
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
— In order to assist surgeons during surgery on moving organs, e.g. minimally invasive beating heart bypass surgery, a master-slave system which synchronizes surgical instruments...
147
click to vote
KBSE
2007
IEEE
16 years 13 days ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
214
click to vote
AOSE
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
171
click to vote
APN
2007
Springer
16 years 10 days ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...