3113 search results - page 392 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
167
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
184
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
182
click to vote
IEAAIE
2000
Springer
15 years 10 months ago
2000
Springer
Business information received from advanced data analysis and data mining is a critical success factor for companies wishing to maximize competitive advantage. The use of tradition...
219
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
Global view-dependent illumination phenomena, in particular reflections, greatly enhance the realism of computer-generated imagery. Current interactive rendering methods do not pr...
177
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes adaptive path planning, a novel approach to path planning for car-like mobile robots. Instead of creating a new plan from scratch, whenever changes i...