4650 search results - page 537 / 930 » Generating and evaluating evaluative arguments |
144
click to vote
MSN
2005
Springer
16 years 7 days ago
2005
Springer
Systems that track sensed data trigger alerts based on the evaluation of some condition. In the presence of loss data a conservative condition may not generate a necessary alert an...
212
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
146
Voted
JCDL
2004
ACM
16 years 6 days ago
2004
ACM
We have developed MetaExtract, a system to automatically assign Dublin Core + GEM metadata using extraction techniques from our natural language processing research. MetaExtract i...
187
click to vote
CADE
2004
Springer
16 years 5 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
147
click to vote
FPGA
2004
ACM
16 years 4 days ago
2004
ACM
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...