Sciweavers

1022 search results - page 112 / 205
» Stable models and circumscription
Sort
View
ICPR
2004
IEEE
14 years 11 months ago
A Probabilistic Framework for Joint Head Tracking and Pose Estimation
Head Tracking and pose estimation are usually considered as two sequential and separate problems: pose is estimated on the head patch provided by a tracking module. However, preci...
Jean-Marc Odobez, Sileye O. Ba
ICLP
2009
Springer
14 years 11 months ago
Answer Set Programming with Constraints Using Lazy Grounding
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
Agostino Dovier, Alessandro Dal Palù, Enric...
ICAS
2009
IEEE
126views Robotics» more  ICAS 2009»
14 years 5 months ago
Self-Adaptive Techniques for the Load Trend Evaluation of Internal System Resources
Modern distributed systems that have to avoid performance degradation and system overload require several runtime management decisions for load balancing and load sharing, overloa...
Sara Casolari, Michele Colajanni, Stefania Tosi
GLOBECOM
2008
IEEE
14 years 4 months ago
Adjustable Transmission Power in Wireless Ad Hoc Networks with Smart Antennas
—In this paper, we present a model to analyze the performance of wireless ad hoc networks with smart antennas, i.e. directional antennas with adjustable transmission power. Our r...
Fei Huang, Victor O. K. Li, Ka-Cheong Leung
ISMVL
2008
IEEE
111views Hardware» more  ISMVL 2008»
14 years 4 months ago
Multiple Valued Logic Using 3-State Quantum Dot Gate FETs
Abstract—This paper presents fundamental logic structures designed using novel quantum dot gate FETs with three-state characteristics. This three-state FET manifests itself as a ...
John A. Chandy, Faquir C. Jain