526 search results - page 37 / 106 » A Proposal of Hybrid Knowledge Engineering and Refinement Ap... |
GIAE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
IUI
2006
ACM
15 years 3 months ago
2006
ACM
We present an interactive multimedia interface for automatically summarizing large corpora of evaluative text (e.g. online product reviews). We rely on existing techniques for ext...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
WCRE
1999
IEEE
15 years 2 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...