Sciweavers

704 search results - page 7 / 141
» A Note on Typing Feature Structures
Sort
View
HASKELL
2006
ACM
14 years 20 days ago
Strongly typed memory areas programming systems-level data structures in a functional language
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
Iavor S. Diatchki, Mark P. Jones
ICMCS
2009
IEEE
184views Multimedia» more  ICMCS 2009»
13 years 4 months ago
Structure and appearance features for robust 3D facial actions tracking
This paper presents a robust and accurate method for joint head pose and facial actions tracking, even under challenging conditions such as varying lighting, large head movements,...
Stéphanie Lefevre, Jean-Marc Odobez
ICPR
2010
IEEE
13 years 4 months ago
Visual Recognition of Types of Structural Corridor Landmarks Using Vanishing Points Detection and Hidden Markov Models
In this paper, to provide a robot with information relative to structure of its environment, we propose a method to recognize types of structural corridor landmarks such as T-junct...
Youngbin Park, Sung Su Kim, Il Hong Suh
TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
14 years 8 days ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
14 years 23 days ago
Model Video Semantics with Constraints Considering Temporal Structure and Typed Events
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...
Yu Wang, Lizhu Zhou, Jianyong Wang