Sciweavers

1519 search results - page 193 / 304
» The Domain Dependence of Parsing
Sort
View
WWW
2009
ACM
16 years 7 months ago
Playful tagging: folksonomy generation using online games
Collaborative Tagging is a powerful method to create folksonomies that can be used to grasp/filter user preferences or enhance web search. Recent research has shown that depending...
Markus Krause, Hidir Aras
CP
2009
Springer
16 years 7 months ago
Maintaining State in Propagation Solvers
Abstract. Constraint propagation solvers interleave propagation, removing impossible values from variable domains, with search. The solver state is modified during propagation. But...
Raphael M. Reischuk, Christian Schulte, Peter J. S...
CADE
2004
Springer
16 years 6 months ago
Decision Procedures for Recursive Data Structures with Integer Constraints
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
Ting Zhang, Henny B. Sipma, Zohar Manna
DCC
2006
IEEE
16 years 6 months ago
Evaluation codes and plane valuations
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
C. Galindo, M. Sanchis

Publication
196views
16 years 5 months ago
Facial Expression Recognition As a Creative Interface
We present an audiovisual creativity tool that automatically recognizes facial expressions in real time, producing sounds in combination with images. The facial expression recognit...
Alejandro Jaimes, Nicu Sebe, Roberto Valenti