Sciweavers

4424 search results - page 597 / 885
» Semantic virtual environments
Sort
View
VEE
2012
ACM
226views Virtualization» more  VEE 2012»
14 years 2 months ago
Protecting applications against TOCTTOU races by user-space caching of file metadata
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
Mathias Payer, Thomas R. Gross
ICCS
2004
Springer
16 years 1 days ago
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
Franck Pommereau
CHI
2002
ACM
16 years 7 months ago
Automatic text reduction for changing size constraints
This paper introduces a technique for viewing text objects under changing size constraints in 2D environments. Our approach automatically combines font size reduction and content ...
Lance Good, Mark Stefik, Patrick Baudisch, Benjami...
CVPR
2010
IEEE
16 years 2 months ago
Detecting and Parsing Architecture at City Scale from Range Data
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...
Alexander Toshev, Philippos Mordohai, Ben Taskar
IROS
2009
IEEE
193views Robotics» more  IROS 2009»
16 years 1 months ago
Active segmentation for robotics
— The semantic robots of the immediate future are robots that will be able to find and recognize objects in any environment. They need the capability of segmenting objects in th...
Ajay K. Mishra, Yiannis Aloimonos, Cornelia Ferm&u...