1422 search results - page 166 / 285 » Complementation in Abstract Interpretation |
141
Voted
EVOW
2007
Springer
15 years 10 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...
128
Voted
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
149
Voted
MIRAGE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
111
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
148
Voted
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...