5775 search results - page 104 / 1155 » A Rationale-based Analysis Tool |
180
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...
189
click to vote
NIPS
2004
15 years 7 months ago
2004
This paper investigates the effect of Kernel Principal Component Analysis (KPCA) within the classification framework, essentially the regularization properties of this dimensional...
204
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
A new heterogeneous multiprocessor system with dynamic memory and power management for improved performance and power consumption is presented. Increased data locality is automatic...
126
click to vote
WCET
2007
15 years 7 months ago
2007
Tracing the flow of control in code generated from switchÂcase statements is difficult for static program analysis  tools  when  the  code  contains Â...
149
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...