Sciweavers

663 search results - page 133 / 133
» Synthesis of Self-Testable Controllers
Sort
View
COMGEO
2010
ACM
13 years 5 months ago
Exact join detection for convex polyhedra and other numerical abstractions
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
IJVR
2007
152views more  IJVR 2007»
13 years 5 months ago
Semantic Representation of Individualized Reaction Movements for Virtual Humans
—Virtual Human (VH) creation aims to provide virtual characters with realistic behavior, which implies endowing them with autonomy in an inhabited virtual environment. Autonomous...
Alejandra García-Rojas, Frédé...
BMCBI
2005
79views more  BMCBI 2005»
13 years 5 months ago
Cyclic nucleotide binding proteins in the Arabidopsis thaliana and Oryza sativa genomes
Background: Cyclic nucleotides are ubiquitous intracellular messengers. Until recently, the roles of cyclic nucleotides in plant cells have proven difficult to uncover. With an un...
Dave Bridges, Marie E. Fraser, Greg B. G. Moorhead