755 search results - page 125 / 151 » Design for Art and Leisure |
FORTE
1994
14 years 11 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
CONEXT
2009
ACM
14 years 10 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
BMCBI
2008
14 years 9 months ago
2008
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
FTTCS
2006
14 years 9 months ago
2006
Data sets in large applications are often too massive to fit completely inside the computer's internal memory. The resulting input/output communication (or I/O) between fast ...
JCP
2008
14 years 9 months ago
2008
Knowledge discovery in database have been attracting a significant amount of research, industry attention in recent years. Process planning knowledge (PPK) is one of the most impor...