Sciweavers

2342 search results - page 422 / 469
» Information Needs and Automatic Queries
Sort
View
ICFEM
2010
Springer
13 years 8 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
JUCS
2010
172views more  JUCS 2010»
13 years 8 months ago
Configuration Process of a Software Product Line for AmI Middleware
: Developing Ambient Intelligence applications is a very complex task since it implies dealing with low-level software and hardware resources. The use of a middleware platform may ...
Lidia Fuentes, Nadia Gámez
HCI
2009
13 years 7 months ago
Enabling Interactive Access to Web Tables
Tables are widely used in web pages. Unfortunately, most web tables can only be passively accessed but cannot be interactively accessed, that is, users can view information display...
Xin Yang, Wenchang Xu, Yuanchun Shi
IHI
2010
132views Healthcare» more  IHI 2010»
13 years 4 months ago
Section classification in clinical notes using supervised hidden markov model
As more and more information is available in the Electronic Health Record in the form of free-text narrative, there is a need for automated tools, which can process and understand...
Ying Li, Sharon Lipsky Gorman, Noemie Elhadad
INTERSPEECH
2010
13 years 4 months ago
Emotion recognition using imperfect speech recognition
This paper investigates the use of speech-to-text methods for assigning an emotion class to a given speech utterance. Previous work shows that an emotion extracted from text can c...
Florian Metze, Anton Batliner, Florian Eyben, Tim ...