Sciweavers

544 search results - page 88 / 109
» Translating with Scarce Resources
Sort
View
ICDAR
2009
IEEE
16 years 27 days ago
Information Retrieval Model for Online Handwritten Script Identification
Script identification has always been a topic of much research interest in the field of document analysis. The accurate determination of the identity of the script is paramount to...
Guo Xian Tan, Christian Viard-Gaudin, Alex C. Kot
MIDDLEWARE
2009
Springer
16 years 21 days ago
Automatic Generation of Network Protocol Gateways
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
Yérom-David Bromberg, Laurent Réveil...
PPDP
2009
Springer
16 years 21 days ago
Model-checking higher-order functions
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
Naoki Kobayashi
SECON
2007
IEEE
16 years 13 days ago
High-Level Application Development is Realistic for Wireless Sensor Networks
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
Marcin Karpinski, Vinny Cahill
ESOP
2007
Springer
16 years 10 days ago
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
Maria Grazia Buscemi, Ugo Montanari