1246 search results - page 92 / 250 » Recursive Timed Automata |
132
click to vote
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
104
Voted
ICFP
2008
ACM
16 years 24 days ago
2008
ACM
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
136
click to vote
TLCA
1997
Springer
15 years 5 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
131
Voted
NIPS
2008
15 years 2 months ago
2008
Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchical ...
156
Voted
PAMI
2012
13 years 3 months ago
2012
— Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchi...