Sciweavers

4418 search results - page 591 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
ISBI
2004
IEEE
16 years 7 months ago
Diffusion Smoothing on Brain Surface via Finite Element Method
Surface data such as the segmented cortical surface of the human brain plays an important role in medical imaging. To increase the signal-to-noise ratio for data residing on the b...
Moo Chung, Jonathan Taylor
AOSD
2009
ACM
16 years 1 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
ICRA
2002
IEEE
120views Robotics» more  ICRA 2002»
15 years 11 months ago
Position Based Visual Servoing: Keeping the Object in the Field of Vision
Visual servoing requires an object in the field of view of the camera, in order to control the robot evolution. Otherwise, the virtual link is broken and the control loop cannot c...
Benoit Thuilot, Philippe Martinet, Lionel Cordesse...
CIKM
2006
Springer
15 years 10 months ago
Resource-aware kernel density estimators over streaming data
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
Christoph Heinz, Bernhard Seeger
FLAIRS
2003
15 years 8 months ago
Cost-Based Policy Mapping for Imitation
Imitation represents a powerful approach for programming and autonomous learning in robot and computer systems. An important aspect of imitation is the mapping of observations to ...
Srichandan V. Gudla, Manfred Huber