4502 search results - page 553 / 901 » Regular Model Checking |
165
click to vote
NETGAMES
2005
ACM
16 years 9 days ago
2005
ACM
One of the challenges facing the on-line gaming community is the delivery of new content to players. While the initial distribution of a game is typically done via large media for...
181
click to vote
CVBIA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Extraction of bone contours from x-ray images is an important first step in computer analysis of medical images. It is more complex than the segmentation of CT and MR im...
174
click to vote
FCT
2005
Springer
16 years 8 days 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...
142
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
151
click to vote
IJCNLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...