2940 search results - page 383 / 588 » Relational Parametricity and Control |
151
click to vote
CHI
2010
ACM
16 years 12 days ago
2010
ACM
Conversing on cell phones while driving an automobile is a common practice. We examine the interference of the cognitive load of conversational dialog with driving tasks, with the...
147
click to vote
ICECCS
2009
IEEE
16 years 6 days ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
135
click to vote
GECCO
2009
Springer
16 years 3 days ago
2009
Springer
This paper presents a genetic programming-based symbolic regression approach to the construction of relational features in link analysis applications. Specifically, we consider t...
131
Voted
KSEM
2009
Springer
16 years 2 days ago
2009
Springer
Systems supporting situation awareness in large-scale control systems, such as, e. g., encountered in the domain of road traffic management, pursue the vision of allowing human ope...
129
click to vote
HASE
2007
IEEE
15 years 12 months ago
2007
IEEE
SyncProbe improves the end-to-end predictability of distributed systems by providing applications with a real-time estimate of the maximum expected message delay (upper bound on c...