Sciweavers

811 search results - page 102 / 163
» Refactoring Using Type Constraints
Sort
View
LREC
2008
91views Education» more  LREC 2008»
13 years 10 months ago
A Guide for the Production of Reusable Language Resources
The project described in this paper is funded by the French Ministry of Research. It aims at providing producers of Language Resources, and HLT players in general, with a guide wh...
Victoria Arranz, Franck Gandcher, Valérie M...
CONCUR
2010
Springer
13 years 10 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
IVC
2008
117views more  IVC 2008»
13 years 8 months ago
Direct type-specific conic fitting and eigenvalue bias correction
A new method to fit specific types of conics to scattered data points is introduced. Direct, specific fitting of ellipses and hyperbolae is achieved by imposing a quadratic constr...
Matthew Harker, Paul O'Leary, Paul J. Zsombor-Murr...
JNW
2006
147views more  JNW 2006»
13 years 8 months ago
Dependability Considerations in Wireless Sensor Networks Applications
Recently, the use of wireless sensor networks has spread to applications areas that are not viable or costefficient to be run on other types of networks. Due to some critical tasks...
Amirhosein Taherkordi, Majid Alkaee Taleghan, Mohs...
IJRR
2007
80views more  IJRR 2007»
13 years 8 months ago
Combined Path-following and Obstacle Avoidance Control of a Wheeled Robot
This paper proposes an algorithm that drives a unicycle type robot to a desired path, including obstacle avoidance capabilities. The path-following control design relies on Lyapun...
Lionel Lapierre, René Zapata, Pascal L&eacu...