3082 search results - page 248 / 617 » its 2004 |
168
click to vote
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
160
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
159
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
217
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
: XML is unique in its very broad acceptance throughout both the document engineering and data processing community. This creates a unique opportunity for unifying the traditionall...
164
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a ...