Sciweavers

698 search results - page 65 / 140
» Evaluating Key Statements Analysis
Sort
View
RTS
2006
176views more  RTS 2006»
13 years 10 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
CHI
2002
ACM
14 years 10 months ago
Gestural and audio metaphors as a means of control for mobile devices
This paper discusses the use of gesture and non-speech audio as ways to improve the user interface of a mobile music player. Their key advantages mean that users could use a playe...
Antti Pirhonen, Stephen A. Brewster, Christopher H...
ISNN
2007
Springer
14 years 4 months ago
Online Dynamic Value System for Machine Learning
A novel online dynamic value system for machine learning is proposed in this paper. The proposed system has a dual network structure: data processing network (DPN) and information ...
Haibo He, Janusz A. Starzyk
ESOP
1990
Springer
14 years 2 months ago
From Interpreting to Compiling Binding Times
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
Charles Consel, Olivier Danvy
CLEF
2006
Springer
14 years 1 months ago
Relevance Measures for Question Answering, The LIA at QA@CLEF-2006
This article presents the first participation of the Avignon University Science Laboratory (LIA) to the Cross Language Evaluation Forum (CLEF). LIA participated to the monolingual ...
Laurent Gillard, Laurianne Sitbon, Eric Blaudez, P...