Sciweavers

1578 search results - page 112 / 316
» Induction of Stable Models
Sort
View
ICML
2007
IEEE
14 years 11 months ago
Learning to compress images and videos
We present an intuitive scheme for lossy color-image compression: Use the color information from a few representative pixels to learn a model which predicts color on the rest of t...
Li Cheng, S. V. N. Vishwanathan
LICS
1999
IEEE
14 years 2 months ago
Proving Security Protocols Correct
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
Lawrence C. Paulson
COLT
1992
Springer
14 years 2 months ago
Language Learning from Stochastic Input
Language learning from positive data in the Gold model of inductive inference is investigated in a setting where the data can be modeled as a stochastic process. Specifically, the...
Shyam Kapur, Gianfranco Bilardi
ICSE
2005
IEEE-ACM
14 years 10 months ago
The challenges of software engineering education
We discuss the technical skills that a software engineer should possess. We take the viewpoint of a school of engineering and put the software engineer's education in the wid...
Carlo Ghezzi, Dino Mandrioli
HYBRID
2009
Springer
14 years 4 months ago
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
Yizhar Or, Aaron D. Ames