2935 search results - page 447 / 587 » An Integrated Approach to High Integrity Software Verificati... |
169
click to vote
FUIN
2000
15 years 5 months ago
2000
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...
171
click to vote
RML
2002
15 years 5 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
183
click to vote
HICSS
2011
IEEE
14 years 9 months ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
177
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Object recognition accuracy can be improved when information from multiple views is integrated, but information in each view can often be highly redundant. We consider the problem...
178
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Recent work has shown the feasibility and promise of templateindependent Web data extraction. However, existing approaches use decoupled strategies ? attempting to do data record ...