Sciweavers

3828 search results - page 303 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
CAISE
2006
Springer
15 years 10 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
ICTIR
2009
Springer
16 years 1 months ago
A Quantum-Based Model for Interactive Information Retrieval
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
Benjamin Piwowarski, Mounia Lalmas
179
Voted
ICRA
2000
IEEE
122views Robotics» more  ICRA 2000»
15 years 11 months ago
Application of a Model-Free Algorithm for the Packing of Irregular Shaped Objects in Semiconductor Manufacture
A Robotic System is being developed to automate the crucible packing process in the CZ semiconductor wafer production. It requires the delicate manipulation and packing of highly ...
Vivek A. Sujan, Steven Dubowsky
IUI
2004
ACM
16 years 2 days ago
Classifying and assessing tremor movements for applications in man-machine intelligent user interfaces
We introduce a new intelligent user interface (IUI) and, also, a new methodology to identify the fatigue state for healthy subjects. The fatigue state is determined by means of a ...
Dan Marius Dobrea, Horia-Nicolai L. Teodorescu
ISER
2004
Springer
152views Robotics» more  ISER 2004»
16 years 3 hour ago
Adaptive Walking of a Quadruped Robot in Outdoor Environment based on Biological Concepts
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...
Hiroshi Kimura, Yasuhiro Fukuoka