3113 search results - page 392 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
135
click to vote
CODES
2001
IEEE
15 years 7 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...
141
Voted
FMCAD
2000
Springer
15 years 7 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...
137
click to vote
IEAAIE
2000
Springer
15 years 7 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...
175
Voted
SIGGRAPH
1998
ACM
15 years 7 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...
142
click to vote
ROBOCUP
2000
Springer
15 years 7 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...