5599 search results - page 883 / 1120 » Abstract State Services |
180
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
145
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- We consider arbitrarily many interconnected integral Input-to-State Stable (iISS) systems in an arbitrary interconnection topology and provide an (i)ISS comparison princ...
165
Voted
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Flash-based solid state disks (SSDs) are an alternative form of storage device that promises to deliver higher performance than the traditional mechanically rotating har...
173
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...
190
Voted
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In the context of situated and embodied cognition, we evaluate an information-theoretic approach to the construction of the Umwelt of an artificial agent. We make the ass...