Sciweavers

1210 search results - page 57 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
15 years 10 months ago
Search-based testing of service level agreements
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
Massimiliano Di Penta, Gerardo Canfora, Gianpiero ...
148
Voted
AUSAI
1997
Springer
15 years 8 months ago
Integrated Correction of Ill-Formed Sentences
This paper describes a system that performs hierarchical error recovery, and detects and corrects a single error in a sentence at the lexical, syntactic, and/or semantic levels. I...
Kyongho Min, William H. Wilson
CSDA
2008
110views more  CSDA 2008»
15 years 4 months ago
Computing and using residuals in time series models
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
José Alberto Mauricio
JSC
2006
147views more  JSC 2006»
15 years 4 months ago
An algorithm to solve integer linear systems exactly using numerical methods
In this paper, we present a new algorithm for the exact solutions of linear systems with integer coefficients using numerical methods. It terminates with the correct answer in wel...
Zhendong Wan
ICRA
2008
IEEE
114views Robotics» more  ICRA 2008»
15 years 10 months ago
Lazy localization using the Frozen-Time Smoother
— We present a new algorithm for solving the global localization problem called Frozen-Time Smoother (FTS). Time is ‘frozen’, in the sense that the belief always refers to th...
Andrea Censi, Gian Diego Tipaldi