Sciweavers

5066 search results - page 756 / 1014
» Spectra of structures and relations
Sort
View
CDC
2009
IEEE
184views Control Systems» more  CDC 2009»
15 years 9 months ago
Controllability and observability of uncertain systems: A robust measure
— This paper deals with the class of polynomially uncertain continuous-time linear time-invariant (LTI) systems whose uncertainties belong to a semi-algebraic set. The objective ...
Somayeh Sojoudi, Javad Lavaei, Amir G. Aghdam
GEOS
2009
Springer
15 years 9 months ago
SPARQL Query Re-writing Using Partonomy Based Transformation Rules
Abstract. Often the information present in a spatial knowledge base is represented at a different level of granularity and abstraction than the query constraints. For querying onto...
Prateek Jain, Peter Z. Yeh, Kunal Verma, Cory A. H...
ICS
2009
Tsinghua U.
15 years 9 months ago
Single-particle 3d reconstruction from cryo-electron microscopy images on GPU
Single-particle 3D reconstruction from cryo-electron microscopy (cryo-EM) images is a kernel application of biological molecules analysis, as the computational requirement of whic...
Guangming Tan, Ziyu Guo, Mingyu Chen, Dan Meng
IPMI
2009
Springer
15 years 9 months ago
Dense Registration with Deformation Priors
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...
Ben Glocker, Nikos Komodakis, Nassir Navab, Georgi...
CAV
2001
Springer
83views Hardware» more  CAV 2001»
15 years 9 months ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen