831 search results - page 77 / 167 » Coalgebraic Correspondence Theory |
162
click to vote
FCT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
166
click to vote
FOIKS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
161
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...
195
click to vote
CVPR
2003
IEEE
15 years 11 months ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...
130
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
— Some electric power markets allow bidders to specify constraints on ramp rates for increasing or decreasing power production. We show in a small example that a bidder could use...