Sciweavers

1880 search results - page 277 / 376
» A Fact-Oriented Approach to Activity Modeling
Sort
View
JSA
2008
74views more  JSA 2008»
15 years 4 months ago
Resource conflict detection in simulation of function unit pipelines
Processor simulators are important parts of processor design toolsets in which they are used to verify and evaluate the properties of the designed processors. While simulating arch...
Pekka Jääskeläinen, Vladimír...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 11 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
ENVSOFT
2007
166views more  ENVSOFT 2007»
15 years 4 months ago
The implications of complexity for integrated resources management
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
C. Pahl-Wostl
IPMI
2007
Springer
16 years 5 months ago
Shape Regression Machine
Abstract. We present a machine learning approach called shape regression machine (SRM) to segmenting in real time an anatomic structure that manifests a deformable shape in a medic...
Shaohua Kevin Zhou, Dorin Comaniciu
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 10 months ago
Using Robust Estimation for Visual Servoing Based on Dynamic Vision
— The aim of this article is to achieve accurate visual servoing tasks when the shape of the object being observed as well as the final image are unknown. More precisely, we wan...
Christophe Collewet, François Chaumette