1585 search results - page 55 / 317 » A framework for computer-aided validation |
101
click to vote
ETS
2000
IEEE
14 years 11 months ago
2000
IEEE
We view the Internet as a "virtual laboratory" and have developed a framework to support experiments in web-based community learning. Our system is called the Community ...
115
click to vote
ICML
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper explores the issue of recognizing, generalizing and reproducing arbitrary gestures. We aim at extracting a representation that encapsulates only the key aspects of the ...
RECOMB
2008
Springer
16 years 4 days ago
2008
Springer
Abstract. This paper presents an algorithm to detect lateral gene transfer (LGT) on the basis of pairwise evolutionary distances. The prediction is made from a likelihood ratio der...
CSMR
2009
IEEE
15 years 6 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, we address the problem of computing the transport capacity of Wireless Mesh Networks dedicated to Internet access. Routing and transmission scheduling have a majo...