Search Sciweavers | Sciweavers

6650 search results - page 64 / 1330

» models 2009

265

click to vote

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

16 years 7 months ago

Download www.irit.fr

Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...

claim paper

Read More »

130

click to vote

EACL
2009
ACL Anthology

114views Natural Language Processing» more EACL 2009»

Web Augmentation of Language Models for Continuous Speech Recognition of SMS Text Messages

16 years 6 months ago

Download www.aclweb.org

Mathias Creutz, Sami Virpioja, Anna Kovaleva

claim paper

Read More »

122

click to vote

CAV
2009
Springer

123views Hardware» more CAV 2009»

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models

16 years 6 months ago

Download www.cis.upenn.edu

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ram...

claim paper

Read More »

109

click to vote

HICSS
2009
IEEE

109views Biometrics» more HICSS 2009»

Community-Based Recommender Systems: Analyzing Business Models from a Systems Operator's Perspective

16 years 1 months ago

Download csdl2.computer.org

Pei-Yu Chen, Yen-Chun Chou, Robert J. Kauffman

claim paper

Read More »

111

click to vote

HRI
2009
ACM

97views Human Computer Interaction» more HRI 2009»

ShadowPlay: a generative model for nonverbal human-robot interaction

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers