Sciweavers

3260 search results - page 34 / 652
» MYSEA Technology Demonstration
Sort
View
KES
2008
Springer
15 years 1 months ago
Developmental evaluation in Genetic Programming: The TAG-based frame work
We build on our previous feasibility studies [18,20], which demonstrated the impact of evaluation during development in the DEVTAG system, and here present a fullfledged developmen...
Tuan Hao Hoang, Daryl Essam, Robert I. McKay, Nguy...
SIGIR
2008
ACM
15 years 1 months ago
Improving relevance feedback in language modeling with score regularization
We demonstrate that regularization can improve feedback in a language modeling framework. Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: Relevance Fee...
Fernando D. Diaz
CAI
2005
Springer
15 years 1 months ago
Behavioural Equivalences on Finite-State Systems are PTIME-hard
The paper shows a logspace-reduction from the boolean circuit value problem which demonstrates that any relation subsuming bisimilarity and being subsumed by trace preorder (i.e.,...
Zdenek Sawa, Petr Jancar
INTERACT
2003
15 years 3 months ago
Developing and Experiencing Mobile Video Communication
: The paper concerns collaborative research with the twofold task of developing video streaming technology for mobile devices and exploring user experiences in mobile multimedia. T...
Anne Soronen, Petri Packalén, Anu Jäpp...
147
Voted
ESWS
2008
Springer
15 years 3 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov