280 search results - page 14 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
CC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
130
Voted
SCP
1998
14 years 11 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
88
Voted
NAACL
2003
15 years 1 months ago
2003
This paper describes the construction of language choice models for the microplanning of discourse relations in a Natural Language Generation system that attempts to generate appr...
177
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...
86
Voted
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...