2468 search results - page 190 / 494 » A New Approach to Pseudoword Generation |
167
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
170
click to vote
HM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...
220
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: Recently, realtime ray tracing has been developed to the point where it is becoming a possible alternative to the current rasterization approach for interactive 3D graphics. With...
153
click to vote
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Croma keying is the process of segmenting objects from images and video using color cues. A blue (or green) screen placed behind an object during recording is used in special effe...
155
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...