2635 search results - page 12 / 527 » Computing multihomogeneous resultants using straight-line pr... |
100
Voted
AAAI
1992
15 years 1 months ago
1992
This paper describes a series of experiments that were performed on the Rocky III robot.1 Rocky III is a small autonomous rover capable of navigating through rough outdoor terrain...
105
Voted
CF
2005
ACM
15 years 2 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
119
click to vote
HICSS
2010
IEEE
15 years 2 months ago
2010
IEEE
1 The latent semantic indexing (LSI) methodology for information retrieval applies the singular value decomposition to identify an eigensystem for a large matrix, in which cells re...
66
Voted
ICCHP
2004
Springer
15 years 5 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
107
Voted
CSEE
2007
Springer
15 years 6 months ago
2007
Springer
An important problem faced by many Computer Science and Software Engineering programs is declining enrollment. In an effort to reverse that trend at Mississippi State University, ...