Sciweavers

741 search results - page 100 / 149
» A Novel Approach for Hardware Based Sound Classification
Sort
View
ECBS
2007
IEEE
144views Hardware» more  ECBS 2007»
15 years 10 months ago
DP-Miner: Design Pattern Discovery Using Matrix
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...
Jing Dong, Dushyant S. Lad, Yajing Zhao
CAV
2010
Springer
172views Hardware» more  CAV 2010»
15 years 7 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
129
Voted
OWLED
2008
15 years 5 months ago
HermiT: A Highly-Efficient OWL Reasoner
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
Rob Shearer, Boris Motik, Ian Horrocks
117
Voted
TVCG
2008
100views more  TVCG 2008»
15 years 3 months ago
Two-Character Motion Analysis and Synthesis
In this paper, we deal with the problem of synthesizing novel motions of standing-up martial arts such as Kickboxing, Karate, and Taekwondo performed by a pair of humanlike charact...
Taesoo Kwon, Young-Sang Cho, Sang Il Park, Sung Yo...
ICCBR
2007
Springer
15 years 10 months ago
Acquiring Word Similarities with Higher Order Association Mining
We present a novel approach to mine word similarity in Textual Case Based Reasoning. We exploit indirect associations of words, in addition to direct ones for estimating their simi...
Sutanu Chakraborti, Nirmalie Wiratunga, Robert Lot...