Sciweavers

544 search results - page 88 / 109
» Translating with Scarce Resources
Sort
View
ICDAR
2009
IEEE
15 years 4 months 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
15 years 4 months 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
15 years 4 months 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
15 years 4 months 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
15 years 4 months 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