345 search results - page 27 / 69 » Computer-Assisted Simulation Proofs |
134
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents an approach for classifying students in order to predict their final grade based on features extracted from logged data in an education web-based system. A comb...
CCS
2003
ACM
15 years 7 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
PICS
2001
15 years 3 months ago
2001
Banding can be a major defect in inkjet printing. Knowing the visual sensitivity threshold of inkjet banding is therefore useful for understanding and pushing the technological li...
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
114
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— A decentralized controller is presented that causes a network of robots to converge to a near optimal sensing configuration, while simultaneously learning the distribution of ...