2048 search results - page 215 / 410 » Intelligent search techniques for large software systems |
185
click to vote
SOFSEM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
193
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This research proposes a selective compressed memory system (SCMS) focusing on a compressed cache architecture, in which only data blocks with good compression efficiency are comp...
174
click to vote
CCGRID
2005
IEEE
16 years 6 days ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
191
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
168
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
We present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during...