5232 search results - page 254 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
194
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
257
click to vote
ESCIENCE
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...
189
click to vote
USS
2010
15 years 4 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
334
click to vote
CRV
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...
178
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a subsystem of a content-based image retrieval (CBIR) environment that supports a user in the definition of image similarity. Out of a single image or a set of query i...