Sciweavers

431 search results - page 22 / 87
» The five orders of ignorance
Sort
View
INTERACT
2003
14 years 11 months ago
An EMG-Controlled Graphic Interface Considering Wearability
: It is known that graphic interfaces using electromyogram (EMG) generated by wrist motion are a potentially viable for a wearable computer. However, these interface prototypes see...
Hyuk Jeong, JinSung Choi
WIIW
2001
93views more  WIIW 2001»
14 years 11 months ago
RDF-Based Architecture for Semantic Integration of Heterogeneous Information Sources
The proposed integration architecture aims at exploiting data semantics in order to provide a coherent and meaningful (with respect to a given conceptual model) view of the integra...
Richard Vdovjak, Geert-Jan Houben
APAL
2010
88views more  APAL 2010»
14 years 9 months ago
Nonstandard arithmetic and recursive comprehension
First order reasoning about hyperintegers can prove things about sets of integers. In the author's paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic L...
H. Jerome Keisler
CORR
2008
Springer
91views Education» more  CORR 2008»
14 years 9 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...
84
Voted
IVC
2006
163views more  IVC 2006»
14 years 9 months ago
Adaptive fingerprint image enhancement with fingerprint image quality analysis
Accurate minutiae extraction from fingerprint images is heavily dependent on the quality of the fingerprint images. In order to improve the performance of the system, much effort ...
Eun-Kyung Yun, Sung-Bae Cho