Sciweavers

834 search results - page 69 / 167
» Anaphora and the Logic of Change
Sort
View
VTS
1997
IEEE
90views Hardware» more  VTS 1997»
14 years 1 months ago
SHOrt voltage elevation (SHOVE) test for weak CMOS ICs
A stress procedure for reliability screening, SHOrt Voltage Elevation (SHOVE) test, is analyzed here. During SHOVE, test vectors are run at higher-than-normal supply voltage for a...
Jonathan T.-Y. Chang, Edward J. McCluskey
FSKD
2006
Springer
187views Fuzzy Logic» more  FSKD 2006»
14 years 16 days ago
A Context-Aware Music Recommendation System Using Fuzzy Bayesian Networks with Utility Theory
As the World Wide Web becomes a large source of digital music, the music recommendation system has got a great demand. There are several music recommendation systems for both comme...
Han-Saem Park, Ji-Oh Yoo, Sung-Bae Cho
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
13 years 11 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
IM
2007
13 years 10 months ago
Hierarchically Federated Registration and Lookup within the perfSONAR Framework
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...
Jason Zurawski, Jeff W. Boote, Eric L. Boyd, Macie...
AAAI
2006
13 years 10 months ago
Learning Partially Observable Action Models: Efficient Algorithms
We present tractable, exact algorithms for learning actions' effects and preconditions in partially observable domains. Our algorithms maintain a propositional logical repres...
Dafna Shahaf, Allen Chang, Eyal Amir