Sciweavers

8099 search results - page 1125 / 1620
» Higher-Order Task Models
Sort
View
ICAS
2009
IEEE
131views Robotics» more  ICAS 2009»
15 years 11 months ago
Gait Synthesis for Legged Underwater Vehicles
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
Andrew German, Michael R. M. Jenkin
181
Voted
3DPVT
2004
IEEE
125views Visualization» more  3DPVT 2004»
15 years 11 months ago
GPU-Assisted Z-Field Simplification
Height fields and depth maps which we collectively refer to as z-fields, usually carry a lot of redundant information and are often used in real-time applications. This is the rea...
Alexander Bogomjakov, Craig Gotsman
BIBE
2004
IEEE
179views Bioinformatics» more  BIBE 2004»
15 years 11 months ago
Incorporating Ontology-Driven Similarity Knowledge into Functional Genomics: An Exploratory Study
This research explores the feasibility of semantic similarity approaches to supporting predictive tasks in functional genomics. It aims to establish potential relationships betwee...
Francisco Azuaje, Olivier Bodenreider
CGI
2004
IEEE
15 years 11 months ago
Curvature Tensor Based Triangle Mesh Segmentation with Boundary Rectification
This paper presents a new and efficient algorithm for decomposition of 3D arbitrary triangle mesh into surface patches. Our method is based on the curvature tensor field analysis ...
Guillaume Lavoué, Florent Dupont, Atilla Ba...
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 11 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
« Prev « First page 1125 / 1620 Last » Next »