Sciweavers

5550 search results - page 578 / 1110
» Different Approaches to Proof Systems
Sort
View
CORR
2006
Springer
98views Education» more  CORR 2006»
15 years 7 months ago
A Formal Measure of Machine Intelligence
A fundamental problem in artificial intelligence is that nobody really knows what intelligence is. The problem is especially acute when we need to consider artificial systems whic...
Shane Legg, Marcus Hutter
COLING
2002
15 years 7 months ago
From Shallow to Deep Parsing Using Constraint Satisfaction
We present in this paper a technique allowing to choose the parsing granularity within the same approach relying on a constraint-based formalism. Its main advantage lies in the fa...
Jean-Marie Balfourier, Philippe Blache, Tristan va...
189
Voted
AMI
2010
Springer
15 years 5 months ago
Dynamic Privacy Management in Pervasive Sensor Networks
This paper describes the design and implementation of a dynamic privacy management system aimed at enabling tangible privacy control and feedback in a pervasive sensor network. Our...
Nan-Wei Gong, Mathew Laibowitz, Joseph A. Paradiso
ACL
2009
15 years 5 months ago
Cross-Domain Dependency Parsing Using a Deep Linguistic Grammar
Pure statistical parsing systems achieves high in-domain accuracy but performs poorly out-domain. In this paper, we propose two different approaches to produce syntactic dependenc...
Yi Zhang, Rui Wang
ACL
2009
15 years 5 months ago
Minimized Models for Unsupervised Part-of-Speech Tagging
We describe a novel method for the task of unsupervised POS tagging with a dictionary, one that uses integer programming to explicitly search for the smallest model that explains ...
Sujith Ravi, Kevin Knight