962 search results - page 5 / 193 » Efficient Algorithms for Eulerian Extension |
91
Voted
SIGSOFT
2003
ACM
16 years 10 days 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 ...
181
Voted
GIS
2008
ACM
16 years 20 days 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...
ICCV
2007
IEEE
16 years 1 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...
120
Voted
VLSID
2008
IEEE
15 years 12 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...
103
Voted
CASES
2004
ACM
15 years 3 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...