Sciweavers

2582 search results - page 177 / 517
» Scheduling in a Planning Environment
Sort
View
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
ICRA
2006
IEEE
217views Robotics» more  ICRA 2006»
16 years 19 days ago
Complete Coverage Control for Nonholonomic Mobile Robots in Dynamic Environments
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
Yi Guo, Mohanakrishnan Balakrishnan
VLDB
1997
ACM
142views Database» more  VLDB 1997»
15 years 10 months ago
Algorithms for Materialized View Design in Data Warehousing Environment
Selecting views to materialize is one of the most important decisions in designing a data warehouse. In this paper, we present a framework for analyzing the issues in selecting vi...
Jian Yang, Kamalakar Karlapalem, Qing Li
EDUTAINMENT
2006
Springer
15 years 10 months ago
Research of Dynamic Terrain in Complex Battlefield Environments
In this paper, we present a novel method for dynamic terrain in battlefield and an efficient plan to simulate crater in the battle. We explore a few methods for dynamic terrain sur...
Xingquan Cai, Fengxia Li, Haiyan Sun, Shouyi Zhan
ICMCS
2000
IEEE
126views Multimedia» more  ICMCS 2000»
15 years 10 months ago
Interactive Artificial Life based on Behavior and Perception in a Virtual Environment
A cyber-character is a kind of artificial life inhabiting a virtual world. To be a life form in the virtual world, cyber characters need sensors and control systems. The sensor sy...
Hyun Seung Yang, Hyun-jin Park, Yong-Jin Cho