1187 search results - page 144 / 238 » Graph-Based Procedural Abstraction |
141
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
131
click to vote
COMSIS
2010
14 years 11 months ago
2010
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...
139
click to vote
FUIN
2010
14 years 11 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
132
click to vote
IMCSIT
2010
14 years 11 months ago
2010
Abstract--An experimental research with a goal to automatically detect prominent words in Russian speech is presented in this paper. The proposed automatic prominent word detection...
117
click to vote
ANOR
2011
14 years 9 months ago
2011
Abstract The problem of finding a global optimum of an unconstrained multimodal function has been the subject of intensive study in recent years, giving rise to valuable advances ...