962 search results - page 5 / 193 » Efficient Algorithms for Eulerian Extension |
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
163
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we discuss an application of spatial data mining to predict pedestrian flow in extensive road networks using a large biased sample. Existing out-of-the-box techniqu...
87
Voted
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Theoretical understanding and extension of mean shift procedure has received much attention recently [8, 18, 3]. In this paper, we present a theoretical exploration and an algorit...
105
click to vote
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
Today's customizable processors allow the designer to augment the base processor with custom accelerators. By choosing appropriate set of accelerators, designer can significa...
93
Voted
CASES
2004
ACM
15 years 1 months ago
2004
ACM
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. However, it is computationally expensive to automaticall...