Sciweavers

7504 search results - page 877 / 1501
» Computing with Action Potentials
Sort
View
158
Voted
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 5 months ago
Rewriting and Well-Definedness within a Proof System
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
Issam Maamria, Michael Butler
ICML
2010
IEEE
15 years 5 months ago
Implicit Online Learning
Online learning algorithms have recently risen to prominence due to their strong theoretical guarantees and an increasing number of practical applications for large-scale data ana...
Brian Kulis, Peter L. Bartlett
IGARSS
2010
15 years 5 months ago
Geospatiotemporal data mining in an early warning system for forest threats in the United States
We investigate the potential of geospatiotemporal data mining of multi-year land surface phenology data (250 m Normalized Difference Vegetation Index (NDVI) values derived from th...
Forrest M. Hoffman, Richard Tran Mills, Jitendra K...
EMNLP
2009
15 years 5 months ago
A Study on the Semantic Relatedness of Query and Document Terms in Information Retrieval
The use of lexical semantic knowledge in information retrieval has been a field of active study for a long time. Collaborative knowledge bases like Wikipedia and Wiktionary, which...
Christof Müller, Iryna Gurevych
198
Voted
ICIP
2009
IEEE
15 years 5 months ago
Task-oriented camera assignment in a video network
Camera assignment and hand-off are some of the key image processing problems in a video network. In this paper, we propose a new approach for camera assignment and handoff in a vi...
Yiming Li, Bir Bhanu