Sciweavers

2412 search results - page 318 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
CIIA
2009
13 years 11 months ago
PNTools: a Multi-Language Environment to Integrate Petri Nets Tools
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
Allaoua Chaoui, Ismail Hadjadj
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 10 months ago
A Recommender System based on Idiotypic Artificial Immune Networks
Abstract-The immune system is a complex biological system with a highly distributed, adaptive and selforganising nature. This paper presents an Artificial Immune System (AIS) that ...
Steve Cayzer, Uwe Aickelin
HCI
2009
13 years 8 months ago
Interactive Demonstration of Pointing Gestures for Virtual Trainers
Abstract. While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive chara...
Yazhou Huang, Marcelo Kallmann
JDCTA
2010
179views more  JDCTA 2010»
13 years 5 months ago
Position and Velocity Aided Routing Protocol in Mobile Ad Hoc Networks
Routing protocol is a pivotal issue in Mobile Ad Hoc Networks (MANETs). Several routing protocols have been proposed to deal with the routing issue in MANETs. However, routing tur...
Taifei Zhao, Xizheng Ke, Peilin Yang
JMLR
2010
111views more  JMLR 2010»
13 years 5 months ago
An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato,...