Sciweavers

6582 search results - page 386 / 1317
» The focus of attention problem
Sort
View
SWSTE
2003
IEEE
16 years 4 days ago
Towards a Standard Family of Languages for Matching Patterns in Source Code
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
Uri Dekel, Tal Cohen, Sara Porat
DGCI
2003
Springer
16 years 2 days ago
Stability in Discrete Tomography: Linear Programming, Additivity and Convexity
The problem of reconstructing finite subsets of the integer lattice from X-rays has been studied in discrete mathematics and applied in several fields like image processing, data...
Sara Brunetti, Alain Daurat
DNIS
2003
Springer
107views Database» more  DNIS 2003»
16 years 2 days ago
Web Information Personalization: Challenges and Approaches
Abstract. As the number of web pages increases dramatically, the problem of the information overload becomes more severe when browsing and searching the WWW. To alleviate this prob...
Cyrus Shahabi, Yi-Shin Chen
FORMATS
2003
Springer
16 years 2 days ago
On Timing Analysis of Combinational Circuits
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
Ramzi Ben Salah, Marius Bozga, Oded Maler
WOSP
2000
ACM
15 years 11 months ago
How system architectures impede interoperability
Interoperability problems arise when complex software systems are constructed by integrating distinct, and often heterogeneous, components. By performing interoperability analysis...
Leigh A. Davis, Jamie Payton, Rose F. Gamble