Sciweavers

17450 search results - page 3049 / 3490
» Numerical Methods with Applications
Sort
View
IJCAI
2007
15 years 9 months ago
Tractable Temporal Reasoning
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
Clare Dixon, Michael Fisher, Boris Konev
LREC
2008
99views Education» more  LREC 2008»
15 years 9 months ago
Standardising Bilingual Lexical Resources According to the Lexicon Markup Framework
The Dutch HLT agency for language and speech technology (known as TST-centrale) at the Institute for Dutch Lexicology is responsible for the maintenance, distribution and accessib...
Isa Maks, Carole Tiberius, Remco van Veenendaal
IJCAI
2007
15 years 9 months ago
Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning
This paper addresses the problem of concept sampling. In many real-world applications, a large collection of mixed concepts is available for decision making. However, the collecti...
Yi Zhang 0010, Xiaoming Jin
LREC
2008
101views Education» more  LREC 2008»
15 years 9 months ago
Test Collections for Spoken Document Retrieval from Lecture Audio Data
The Spoken Document Processing Working Group, which is part of the special interest group of spoken language processing of the Information Processing Society of Japan, is developi...
Tomoyosi Akiba, Kiyoaki Aikawa, Yoshiaki Itoh, Tat...
IJCAI
2007
15 years 9 months ago
WiFi-SLAM Using Gaussian Process Latent Variable Models
WiFi localization, the task of determining the physical location of a mobile device from wireless signal strengths, has been shown to be an accurate method of indoor and outdoor l...
Brian Ferris, Dieter Fox, Neil D. Lawrence
« Prev « First page 3049 / 3490 Last » Next »