1418 search results - page 166 / 284 » The Dynamic Complexity of Formal Languages |
174
click to vote
GIS
2009
ACM
15 years 9 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
145
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
149
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
141
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...