2056 search results - page 230 / 412 » Detecting Errors in Spreadsheets |
198
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
198
click to vote
APNOMS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we identify the needs and critical issues of management and monitoring in IP Multimedia Subsystem (IMS). As an IMS provides a layered architecture converging heteroge...
168
click to vote
MVA
2007
15 years 8 months ago
2007
This paper presents uncertainty propagation in landmark based position estimation methods. Analysis of two methods has been carried out where robot position is estimated by detect...
141
click to vote
ACL
2000
15 years 7 months ago
2000
As an application of NLP to computer-assisted language learning(CALL) , we propose a diagnostic processing of Japanese being able to detect errors and inappropriateness of sentenc...
134
click to vote
ANLP
2000
15 years 7 months ago
2000
Over the past decade or so, a lot of work in computational linguistics has been directed at finding ways to exploit the ever increasing volume of electronic bilingual corpora. The...