Sciweavers

2364 search results - page 162 / 473
» On O-Minimal Hybrid Systems
Sort
View
202
Voted
IJIT
2004
15 years 8 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo
ICMCS
2010
IEEE
140views Multimedia» more  ICMCS 2010»
15 years 7 months ago
On the use of a dynamic hybrid tempo detection model for beat tracking
In this paper, an approach that estimates the times at which musical beats occur is presented. The system uses a hybrid multi-band decomposition in order to estimate the music tem...
Mikel Gainza
187
Voted
TEI
2012
ACM
257views Hardware» more  TEI 2012»
14 years 2 months ago
Beyond affordance: tangibles' hybrid nature
A prevalent assumption behind interface approaches that employ physical means of interaction is that this leverages users’ prior knowledge from the real world. This paper scruti...
Eva Hornecker
KBSE
2003
IEEE
16 years 4 days ago
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
Thomas Ellman
EMSOFT
2008
Springer
15 years 8 months ago
A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems
NAND flash-based storage is widely used in embedded systems due to its numerous benefits: low cost, high density, small form factor and so on. However, NAND flash-based storage is...
Jin Kyu Kim, Hyung Gyu Lee, Shinho Choi, Kyoung Il...