4814 search results - page 67 / 963 » Combining abstract interpreters |
ACSD
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper introduces the optimization of a Quantum Control application, the so-called molecular alignment problem, subject to a dynamic environment. Given the relative...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— A gesture-based interaction framework is presented for controlling mobile robots. This natural interaction paradigm has few physical requirements, and thus can be deplo...
EVOW
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
UM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...