Sciweavers

834 search results - page 69 / 167
» Anaphora and the Logic of Change
Sort
View
VTS
1997
IEEE
90views Hardware» more  VTS 1997»
15 years 10 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»
15 years 9 months 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»
15 years 8 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
15 years 7 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
15 years 7 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