1585 search results - page 64 / 317 » A framework for computer-aided validation |
C3S2E
2008
ACM
15 years 1 months ago
2008
ACM
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...
122
click to vote
MVA
2010
14 years 6 months ago
2010
Studying ancient inscriptions is based up to date mostly on observation and manual analysis by means of which epigraphists attempt to establish a geographical and chronological cla...
110
click to vote
TMM
2010
14 years 6 months ago
2010
We develop an analytical framework to investigate the impacts of network dynamics on the user perceived video quality. Our investigation stands from the end user's perspective...
CCECE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
110
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Web search logs are of growing importance to researchers as they help understanding search behavior and search engine performance. However, search logs typically contain sensitive...