5639 search results - page 908 / 1128 » Timed Abstract Non-interference |
109
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...
110
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to c...
104
click to vote
EUC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Location is the most essential presence information for mobile users. In this paper, we present an improved time-based clustering technique for extracting significant lo...
109
click to vote
DAGM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Body scanners offer significant potential for use in many applications like clothing industry, orthopedy, surgery, healthcare, monument conservation, art, as well as film...
122
click to vote
DALT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...