3305 search results - page 209 / 661 » Can we Rely on SQL |
WOLLIC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
GCB
2009
Springer
14 years 5 months ago
2009
Springer
: Genome annotation relies to a large extent on the recognition of homologs to already known genes. The starting point for such protocols is a collection of known sequences from on...
ICTIR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
KI
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We propose a new EEG-based wireless brain computer interface (BCI) with which subjects can “mind-type” text on a computer screen. The application is based on detectin...
FGR
2008
IEEE
14 years 5 months ago
2008
IEEE
Facial expressions are part of emotional reactions. However, humans can voluntarily pose a specific emotional expression without having the corresponding underlying feeling, or vo...