5550 search results - page 670 / 1110 » Different Approaches to Proof Systems |
187
click to vote
AUSDM
2006
Springer
15 years 11 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
181
click to vote
EMNLP
2008
15 years 8 months ago
2008
This paper describes a language-independent, scalable system for both challenges of crossdocument co-reference: name variation and entity disambiguation. We provide system results...
198
click to vote
INTERACT
2007
15 years 8 months ago
2007
Meta-design is an emerging conceptual framework aimed at defining and creating socio-technical environments as living entities. It extends existing design methodologies focused on ...
228
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- An inverse modeling problem for systems governed by first-order, hyperbolic partial differential equations subject to periodic forcing is investigated. The problem is de...
189
click to vote
AIEDU
2007
15 years 7 months ago
2007
In recent years, the learner models of some adaptive learning environments have been opened to the learners they represent. However, as yet there is no standard way of describing a...