3235 search results - page 486 / 647 » Partial Redundant Modeling |
102
Voted
ICASSP
2008
IEEE
15 years 10 months 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...
131
Voted
ICRA
2007
IEEE
15 years 10 months 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...
125
Voted
KBSE
2007
IEEE
15 years 10 months 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 ...
178
Voted
AOSE
2007
Springer
15 years 10 months 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...
148
Voted
APN
2007
Springer
15 years 10 months 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...