Sciweavers

1578 search results - page 192 / 316
» Induction of Stable Models
Sort
View
77
Voted
ICPR
2004
IEEE
16 years 1 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
191
Voted
ICLP
2009
Springer
16 years 1 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...
104
Voted
ICAS
2009
IEEE
126views Robotics» more  ICAS 2009»
15 years 7 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
106
Voted
GLOBECOM
2008
IEEE
15 years 7 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
90
Voted
ISMVL
2008
IEEE
111views Hardware» more  ISMVL 2008»
15 years 7 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