Sciweavers

1024 search results - page 113 / 205
» Graph Based Modeling of P2P Streaming Systems
Sort
View
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 8 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed
WOSP
1998
ACM
15 years 7 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
ICDAR
2009
IEEE
15 years 29 days ago
Recurrent HMMs and Cursive Handwriting Recognition Graphs
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
Marc-Peter Schambach
ICVS
2003
Springer
15 years 8 months ago
VICs: A Modular Vision-Based HCI Framework
Many Vision-Based Human-Computer Interaction (VB-HCI) systems are based on the tracking of user actions. Examples include gazetracking, head-tracking, finger-tracking, and so fort...
Guangqi Ye, Jason J. Corso, Darius Burschka, Grego...
ESWS
2009
Springer
15 years 9 months ago
Neighborhood-Based Tag Prediction
We consider the problem of tag prediction in collaborative tagging systems where users share and annotate resources on the Web. We put forward HAMLET, a novel approach to automatic...
Adriana Budura, Sebastian Michel, Philippe Cudr&ea...