624 search results - page 58 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
141
click to vote
ENTCS
2002
15 years 4 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
150
click to vote
UAI
1996
15 years 5 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...
143
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
133
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
111
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...