12783 search results - page 175 / 2557 » Experimenting with computing |
204
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
332
click to vote
Lecture Notes
This is a series of laboratory exercises designed for use in data communication, computer networking and telecommunication courses. These labs enable students to experiment with va...
147
click to vote
SBBD
2007
15 years 7 months ago
2007
In this work we propose a representation of the web as a directed hypergraph, instead of a graph, where links can connect not only pairs of pages, but also pairs of disjoint sets o...
149
click to vote
PSIVT
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. A very compact algorithm is presented for fundamental matrix computation from point correspondences over two images. The computation is based on the strict maximum likeli...
182
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...