3965 search results - page 161 / 793 » Effectivity of Regular Spaces |
198
click to vote
TSE
2010
15 years 1 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
210
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper formalizes a novel, intrinsic geometric scale space (IGSS) of 3D surface shapes. The intrinsic geometry of a surface is diffused by means of the Ricci flow for the gener...
180
click to vote
ICIP
2009
IEEE
2009
IEEE
Localized Null Space Representation For Dynamic Updating And Downdating In Image And Video Databases
16 years 7 months ago
Event/object classification and recognition is an extremely challenging problem, particularly when the query or stored data undergo an affine transformation due to camera motion. ...
146
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
In recent years, increasing manufacturing density has allowed the development of Multi-Processor Systems-on-Chip (MPSoCs). Application-Specific Instruction Set Processors (ASIPs)...
200
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Given a set of n query points in a general metric space, a metricspace skyline (MSS) query asks what are the closest points to all these query points in the database. Here, consid...