Sciweavers

1626 search results - page 104 / 326
» Hybrid computing algorithm in representing solid model
Sort
View
WSC
2008
15 years 5 months ago
Multi-objective UAV mission planning using evolutionary computation
This investigation develops an innovative algorithm for multiple autonomous unmanned aerial vehicle (UAV) mission routing. The concept of a UAV Swarm Routing Problem (SRP) as a ne...
Adam J. Pohl, Gary B. Lamont
ISCAS
2007
IEEE
208views Hardware» more  ISCAS 2007»
15 years 9 months ago
Adaptive Lagrange Multiplier Selection for Intra-Frame Video Coding
— The Lagrangian technique proves to be an effective way in Rate-Distortion optimization for hybrid video coding. In this paper, an new Lagrange multiplier selection method for I...
Xiang Li, Norbert Oertel, André Kaup
131
Voted
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 10 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
COMPGEOM
2008
ACM
15 years 5 months ago
The complexity of the outer face in arrangements of random segments
We investigate the complexity of the outer face in arrangements of line segments of a fixed length in the plane, drawn uniformly at random within a square. We derive upper bounds ...
Noga Alon, Dan Halperin, Oren Nechushtan, Micha Sh...
SIGGRAPH
2010
ACM
15 years 7 months ago
Parameterizing subdivision surfaces
We present a method for parameterizing subdivision surfaces in an as-rigid-as-possible fashion. While much work has concentrated on parameterizing polygon meshes, little if any wo...
Lei He, Scott Schaefer, Kai Hormann