4272 search results - page 550 / 855 » A Case for Automatic System Evaluation |
258
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
160
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
191
click to vote
WMCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
Technology offers the potential to objectively monitor people‘s eating and activity behaviors and encourage healthier lifestyles. BALANCE is a mobile phone-based system for long...
187
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In an information retrieval system, a thesaurus can be used for query expansion, i.e. adding words to queries in order to improve recall. We propose a semi-automatic and interactiv...
193
click to vote
TACAS
2007
Springer
16 years 26 days ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...