Sciweavers

4797 search results - page 438 / 960
» The complexity of partition tasks
Sort
View
AAAI
1994
15 years 8 months ago
Testing Physical Systems
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
Peter Struss
IJCAI
1989
15 years 8 months ago
Controlling a Language Generation Planner
The set of partially interdependent lexical and syntactic decisions that have to be made in the process of natural language generation are best seen as a complex planning and sear...
Sergei Nirenburg, Victor R. Lesser, Eric Nyberg
CEC
2010
IEEE
15 years 8 months ago
Global search for occlusion minimisation in virtual camera control
Abstract-- This paper presents a fast and reliable globalsearch approach to the problem of virtual camera positioning when multiple objects that need to be within the reach of the ...
Paolo Burelli, Georgios N. Yannakakis
EUROPAR
2010
Springer
15 years 7 months ago
Analysis of Multi-Organization Scheduling Algorithms
Abstract. In this paper we consider the problem of scheduling on computing platforms composed of several independent organizations, known as the Multi-Organization Scheduling Probl...
Johanne Cohen, Daniel Cordeiro, Denis Trystram, Fr...
AINA
2007
IEEE
15 years 7 months ago
Using Mobile Agent-Based Middleware to Support Distributed Coordination for Vehicle Telematics
With an increasing number of vehicles equipped with embedded computing platforms and advanced wireless technology, general purpose vehicle telematics applications are highly promi...
Jinhua Guo, Guangming Xing