Search Sciweavers | Sciweavers

38

LICS
2012
IEEE

266views Automated Reasoning» more LICS 2012»

An Automata Model for Trees with Ordered Data Values

11 years 9 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 »

22

click to vote

CSL
2009
Springer

98views Automated Reasoning» more CSL 2009»

Enriching an Effect Calculus with Linear Types

14 years 2 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 »

31

click to vote

FLAIRS
2009

161views Artificial Intelligence» more FLAIRS 2009»

Are Ontologies Involved in Natural Language Processing?

13 years 5 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 »

24

click to vote

ICCV
2009
IEEE

997views Computer Vision» more ICCV 2009»

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

15 years 12 days 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