Sciweavers

2346 search results - page 95 / 470
» Hierarchical State Machines
Sort
View
ASM
2005
ASM
14 years 1 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy
ICIP
2002
IEEE
14 years 9 months ago
Content-based image retrieval for digital mammography
In this work, we explore the use of a learning-based framework for retrieval of relevant mammogram images from a database, for purposes of aiding diagnoses. A fundamental issue is...
Issam El-Naqa, Yongyi Yang, Miles N. Wernick, Niko...
OOPSLA
2009
Springer
14 years 2 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
TAL
2004
Springer
14 years 1 months ago
Unsupervised Training of a Finite-State Sliding-Window Part-of-Speech Tagger
A simple, robust sliding-window part-of-speech tagger is presented and a method is given to estimate its parameters from an untagged corpus. Its performance is compared to a standa...
Enrique Sánchez Villamil, Mikel L. Forcada,...
ICML
2009
IEEE
14 years 8 months ago
Convolutional deep belief networks for scalable unsupervised learning of hierarchical representations
There has been much interest in unsupervised learning of hierarchical generative models such as deep belief networks. Scaling such models to full-sized, high-dimensional images re...
Honglak Lee, Roger Grosse, Rajesh Ranganath, Andre...