1418 search results - page 33 / 284 » The Dynamic Complexity of Formal Languages |
122
click to vote
CPHYSICS
2006
15 years 1 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
132
click to vote
CA
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
101
click to vote
SEMCO
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we present an approach that combines multimedia reasoning and natural language processing for the semantic integration of automatic and manual image annotations base...
111
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
123
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...