Sciweavers

3695 search results - page 288 / 739
» Design patterns for parsing
Sort
View
ICFP
2003
ACM
16 years 6 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
IUI
2010
ACM
16 years 3 months ago
Towards intelligent motion inferencing in mathematical sketching
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
Salman Cheema, Joseph J. LaViola Jr.
ICDE
2010
IEEE
200views Database» more  ICDE 2010»
16 years 1 months ago
GenerIE: Information extraction using database queries
— Information extraction systems are traditionally implemented as a pipeline of special-purpose processing modules. A major drawback of such an approach is that whenever a new ex...
Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Ch...
INFOCOM
2008
IEEE
16 years 1 months ago
Run-Time System for Scalable Network Services
Sophisticated middlebox services–such as network monitoring and intrusion detection, DDoS mitigation, worm scanning, XML parsing and protocol transformation–are becoming incre...
Upendra Shevade, Ravi Kokku, Harrick M. Vin
SIPS
2008
IEEE
16 years 1 months ago
Efficient data flow variable length decoding implementation for the MPEG reconfigurable video coding framework
In 2004, ISO/IEC SC29 better known as MPEG started a new standard initiative aiming at facilitating the deployment of multi-format video codec design and to enable the possibility...
Jianjun Li, Dandan Ding, Christophe Lucarz, Samuel...