Search Sciweavers | Sciweavers

26

LICS
2012
IEEE

266views Automated Reasoning» more LICS 2012»

An Automata Model for Trees with Ordered Data Values

11 years 7 months ago

—Data trees are trees in which each node, besides carrying a label from a ﬁnite alphabet, also carries a data value inﬁnite domain. They have been used as an abstraction mode...

Tony Tan

claim paper

Read More »

15

click to vote

CSL
2009
Springer

98views Automated Reasoning» more CSL 2009»

Enriching an Effect Calculus with Linear Types

13 years 11 months ago

Download www.itu.dk

We deﬁne an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...

Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...

claim paper

Read More »

19

click to vote

FLAIRS
2009

161views Artificial Intelligence» more FLAIRS 2009»

Are Ontologies Involved in Natural Language Processing?

13 years 2 months ago

Download lalic.paris-sorbonne.fr

For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic...

Maryvonne Abraham

claim paper

Read More »

14

click to vote

ICCV
2009
IEEE

997views Computer Vision» more ICCV 2009»

Poselets: Body Part Detectors Trained Using 3D Human Pose Annotations

14 years 9 months ago

Download www.eecs.berkeley.edu

We address the classic problems of detection, segmenta- tion and pose estimation of people in images with a novel definition of a part, a poselet. We postulate two criteria (1) ...

Lubomir Bourdev, Jitendra Malik

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers