Sciweavers

934 search results - page 86 / 187
» exact 2007
Sort
View
DAGM
2007
Springer
15 years 10 months ago
Rigid Motion Constraints for Tracking Planar Objects
Typical tracking algorithms exploit temporal coherence, in the sense of expecting only small object motions. Even without exact knowledge of the scene, additional spatial coherence...
Olaf Kähler, Joachim Denzler
125
Voted
DALT
2007
Springer
15 years 10 months ago
Interoperation in Protocol Enactment
Interoperability has been broadly conceptualized as the ability of agents to work together. In open systems, the interoperability of agents is an important concern. A common way of...
Amit K. Chopra, Munindar P. Singh
EVOW
2007
Springer
15 years 10 months ago
Tackling the Container Loading Problem: A Hybrid Approach Based on Integer Linear Programming and Genetic Algorithms
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...
Napoleão Nepomuceno, Plácido Rog&eac...
FROCOS
2007
Springer
15 years 10 months ago
Temporal Logic with Capacity Constraints
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
Clare Dixon, Michael Fisher, Boris Konev
GCC
2007
Springer
15 years 10 months ago
A Classification of Service Composition Mismatches to Support Service Mediation
On building a service-oriented architecture for Grid systems, more and more researches have been focused on service composition. Services, however, are not always exactly compatib...
Xitong Li, Yushun Fan, Feng Jiang