Sciweavers

4623 search results - page 830 / 925
» Knowledge Representation on the Web
Sort
View
RV
2010
Springer
141views Hardware» more  RV 2010»
13 years 8 months ago
Aspect-Oriented Instrumentation with GCC
We present the InterAspect instrumentation framework for GCC, a widely used compiler infrastructure. The addition of plugin support in the latest release of GCC makes it an attract...
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu G...
VR
2010
IEEE
188views Virtual Reality» more  VR 2010»
13 years 8 months ago
Illuminating the past: state of the art
Virtual reconstruction and representation of historical environments and objects have been of research interest for nearly two decades. Physically-based and historically accurate ...
Jassim Happa, Mark Mudge, Kurt Debattista, Alessan...
AAAI
2010
13 years 8 months ago
A Lower Bound on the Size of Decomposable Negation Normal Form
We consider in this paper the size of a Decomposable Negation Normal Form (DNNF) that respects a given vtree (known as structured DNNF). This representation of propositional knowl...
Thammanit Pipatsrisawat, Adnan Darwiche
ICGI
2010
Springer
13 years 8 months ago
Exact DFA Identification Using SAT Solvers
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
Marijn J. H. Heule, Sicco Verwer
ICPR
2010
IEEE
13 years 8 months ago
Use of Line Spectral Frequencies for Emotion Recognition from Speech
We propose the use of the line spectral frequency (LSF) features for emotion recognition from speech, which have not been been previously employed for emotion recognition to the b...
Elif Bozkurt, Engin Erzin, Çigdem Eroglu Er...