9405 search results - page 1198 / 1881 » Computing a Model of Set Theory |
314
click to vote
CCECE
2011
IEEE
14 years 7 months ago
2011
IEEE
Models for the local anodic oxidation of silicon using scanning tunneling microscopy and non-contact atomic force microscopy are implemented in a generic process simulator, using ...
212
Voted
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We study the problem of generating plausible interpretations
of a scene from a collection of line segments automatically
extracted from a single indoor image. We show that
we ca...
196
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Latent Layout Analysis (LLA) is a novel unsupervised learning technique to discover objects in unseen images using a set of un-annotated training images. LLA defines a generative ...
161
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Head Tracking and pose estimation are usually considered as two sequential and separate problems: pose is estimated on the head patch provided by a tracking module. However, preci...
189
Voted
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...