Sciweavers

2766 search results - page 466 / 554
» Hybridizing a Logical Framework
Sort
View
DSVIS
2008
Springer
13 years 11 months ago
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofi...
ICCV
2007
IEEE
13 years 11 months ago
Probabilistic Fusion Tracking Using Mixture Kernel-Based Bayesian Filtering
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
Bohyung Han, Seong-Wook Joo, Larry S. Davis
FLOPS
2008
Springer
13 years 11 months ago
Rewriting and Call-Time Choice: The HO Case
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
Francisco Javier López-Fraguas, Juan Rodr&i...
NAACL
2004
13 years 11 months ago
A Statistical Model for Multilingual Entity Detection and Tracking
Entity detection and tracking is a relatively new addition to the repertoire of natural language tasks. In this paper, we present a statistical language-independent framework for ...
Radu Florian, Hany Hassan, Abraham Ittycheriah, Ho...
WOA
2001
13 years 11 months ago
Object Oriented Mapping for HTML Documents
Emerging distributed technologies aim to provide simple and powerful tools for web services design and implementation. Main vendors provide modern frameworks so that a good coordi...
Francesco Garelli, Carlo Ferrari