Sciweavers

4636 search results - page 687 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
ICDE
2000
IEEE
125views Database» more  ICDE 2000»
16 years 20 days ago
An Algebraic Compression Framework for Query Results
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
Zhiyuan Chen, Praveen Seshadri
SIGSOFT
2006
ACM
15 years 5 months ago
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
SCALESPACE
2005
Springer
15 years 4 months ago
Multiscale Active Contours
Abstract. In this paper, we propose an evolution equation for the active contours in scale spaces. This evolution equation is based on the Polyakov functional that has been first ...
Xavier Bresson, Pierre Vandergheynst, Jean-Philipp...
IWPC
2002
IEEE
15 years 4 months ago
An Integrated Approach for Studying Architectural Evolution
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
Qiang Tu, Michael W. Godfrey
APN
1994
Springer
15 years 3 months ago
Modelling the Work Flow of a Nuclear Waste Management Program
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
Kjeld Høyer Mortensen, Valerio O. Pinci