Sciweavers

230 search results - page 37 / 46
» Constraint Orbital Branching
Sort
View
ICRA
2008
IEEE
121views Robotics» more  ICRA 2008»
14 years 2 months ago
Trajectory inverse kinematics by conditional density modes
Abstract— We present a machine learning approach for trajectory inverse kinematics: given a trajectory in workspace, to find a feasible trajectory in angle space. The method lea...
Chao Qin, Miguel Á. Carreira-Perpiñ&...
WWIC
2007
Springer
156views Communications» more  WWIC 2007»
14 years 1 months ago
ID-Based Multiple Space Key Pre-distribution Scheme for Wireless Sensor Networks
Providing security services for wireless sensor networks plays a vital role in secure network operation especially when sensor networks are deployed in hostile areas. In order to p...
Tran Thanh Dai, Choong Seon Hong
APN
2004
Springer
14 years 1 months ago
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
Olivier H. Roux, Didier Lime
BIOADIT
2004
Springer
14 years 1 months ago
Analysis of Responses of Complex Bionetworks to Changes in Environmental Conditions
Abstract. The responses of flexible bionetworks to extreme environmental changes were studied in several microorganisms. Gene and metabolic networks markedly changed with osmotic ...
Hiroshi Shimizu, Takashi Hirasawa, Keisuke Nagahis...
SAT
2004
Springer
97views Hardware» more  SAT 2004»
14 years 1 months ago
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
Vasco M. Manquinho, João P. Marques Silva