1054 search results - page 206 / 211 » Translation Validation of System Abstractions |
90
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Previous work [1] shows that the movement representation in task spaces offers many advantages for learning object-related and goal-directed movement tasks through imit...
118
Voted
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Content-based routing (CBR) is becoming increasingly popular as a building block for distributed applications. CBR differs from classical routing paradigms as messages a...
105
click to vote
BMCBI
2010
14 years 10 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
71
Voted
ECCC
2010
14 years 10 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
116
click to vote
TMI
2011
14 years 5 months ago
2011
Abstract—Many practical applications require the reconstruction of images from irregularly sampled data. The spline formalism offers an attractive framework for solving this prob...