2658 search results - page 499 / 532 » Micro-communication Element System |
167
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
144
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
158
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
136
click to vote
ISBRA
2010
Springer
15 years 10 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
121
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Despite serious research efforts, automatic ontology matching still suffers from severe problems with respect to the quality of matching results. Existing matching systems trade-of...