Sciweavers

4401 search results - page 533 / 881
» Computing with Default Logic
Sort
View
ICPR
2004
IEEE
16 years 8 months ago
Type-2 Fuzzy Hidden Markov Models to Phoneme Recognition
This paper presents a novel extension of Hidden Markov Models (HMMs): type-2 fuzzy HMMs (type-2 FHMMs). The advantage of this extension is that it can handle both randomness and f...
Jia Zeng, Zhi-Qiang Liu
DAC
2001
ACM
16 years 7 months ago
Analysis of On-Chip Inductance Effects using a Novel Performance Optimization Methodology for Distributed RLC Interconnects
This work presents a new and computationally efficient performance optimization technique for distributed RLC interconnects based on a rigorous delay computation scheme. The new o...
Kaustav Banerjee, Amit Mehrotra
CADE
2009
Springer
16 years 7 months ago
Does This Set of Clauses Overlap with at Least One MUS?
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
Éric Grégoire, Bertrand Mazure, C&ea...
167
Voted
CHI
2003
ACM
16 years 7 months ago
FantasyA and SenToy
FantasyA is a role-playing game where emotions are part of the game logic. SenToy is a tangible interface device [2], used to influence emotional behaviour in FantasyA. Players in...
Adrian Bullock, Ana Paiva, Kristina Höök...
CADE
2004
Springer
16 years 7 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang