Sciweavers

132 search results - page 27 / 27
» Recent developments in visual sign language recognition
Sort
View
133
Voted
EMSOFT
2011
Springer
14 years 25 days ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
118
Voted
SIGMOD
2004
ACM
142views Database» more  SIGMOD 2004»
16 years 1 months ago
Understanding Web Query Interfaces: Best-Effort Parsing with Hidden Syntax
Recently, the Web has been rapidly "deepened" by many searchable databases online, where data are hidden behind query forms. For modelling and integrating Web databases,...
Zhen Zhang, Bin He, Kevin Chen-Chuan Chang