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 3 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 2 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 1 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 12 days 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 11 days 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