Sciweavers

3618 search results - page 361 / 724
» Additive functions for number systems in function fields
Sort
View
ICRA
2005
IEEE
115views Robotics» more  ICRA 2005»
16 years 10 days ago
Real-time and Precise Self Collision Detection System for Humanoid Robots
— In this paper, we describe the real-time and precise self collision detection system that does not reduce the number of polygons and checks more than 100 collision pairs in rea...
Kei Okada, Masayuki Inaba, Hirochika Inoue
RTCSA
2005
IEEE
16 years 10 days ago
Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks
We address in this paper the problem of scheduling for multiprocessor real-time systems with hard and soft tasks. Utility functions are associated to soft tasks to capture their r...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
BMCBI
2006
164views more  BMCBI 2006»
15 years 6 months ago
BIOZON: a system for unification, management and analysis of heterogeneous biological data
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...
Aaron Birkland, Golan Yona
JNW
2008
103views more  JNW 2008»
15 years 6 months ago
Avoidance Mechanism of Redundant Transmissions in Content Cruising System
"Content Cruising System (CCS)" is developed as a decentralized and autonomous distribution system for location-based contents. The content put into CCS carries itself to...
Takaaki Ishida, Keijiro Ehara, Seiichiro Toda, Yas...
TII
2008
98views more  TII 2008»
15 years 6 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux