Sciweavers

500 search results - page 38 / 100
» Context models on sequences of covers
Sort
View
TASLP
2010
99views more  TASLP 2010»
13 years 7 months ago
A Virtual Model of Spring Reverberation
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
Stefan Bilbao, Julian Parker
DATE
2007
IEEE
97views Hardware» more  DATE 2007»
14 years 3 months ago
Estimating functional coverage in bounded model checking
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
Daniel Große, Ulrich Kühne, Rolf Drechs...
OTM
2005
Springer
14 years 2 months ago
OWL-Based User Preference and Behavior Routine Ontology for Ubiquitous System
In ubiquitous computing, behavior routine learning is the process of mining the context-aware data to find interesting rules on the user’s behavior, while preference learning tri...
Kim Anh Pham Ngoc, Young-Koo Lee, Sungyoung Lee
IPMU
1992
Springer
14 years 1 months ago
Rule-Based Systems with Unreliable Conditions
This paper deals with the problem of inference under uncertain information. This is a generalization of a paper of Cardona et al. (1991a) where rules were not allowed to contain n...
L. Cardona, Jürg Kohlas, Paul-André Mo...
HCI
2007
13 years 10 months ago
Determining Accessibility Needs Through User Goals
Access to information remains a major challenge for people with disabilities. In this paper, an approximate model of how people access information is proposed. This model is prese...
Kevin Carey, Rosaria Gracia, Christopher Power, He...