A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
In this work we study the amount of work required for dynamically answering membership and range queries for formal languages in parallel constant time with polynomially many processors. ... As a prerequisite, we propose a framework for specifying dynamic, parallel, constant-time programs that require small amounts of work. ... A complexity theory of incremental time has been developed in  . We discuss previous work on dynamic complexity of formal languages in Sections 5 and 6. ...arXiv:2101.08735v1 fatcat:43xo4flikzfivpqqkfcu7gphfe
Several recurrent networks have been proposed as representations for the task of formal language learning. ... After training a recurrent network recognize a formal language or predict the next symbol of a sequence, the next logical step is to understand the information processing carried out by the network. ... Acknowledgments The research reported in this paper has been supported by Office of Naval Research grant number NOOOI4-92-J-1195. ...dblp:conf/nips/Kolen93 fatcat:ei2gvqqw5bh7vigygfhgvbea3m
This paper explores the foundations of this complexity argument. ... Many researchers in AI and cognitive science believe that the complexity of a behavioral description reflects the underlying information processing complexity of the mechanism producing the behavior. ... This work was supported by Office of Naval Research grant N00014-92-J-1195. ...doi:10.1080/09528139508953809 fatcat:jkgsh57wyvfz5k5y7cog6itwua
The British Journal of Sociology
The dynamics of sensitivity to structure ‘underlies the complex of attitudes favourable to educational and social mobility’, whereas sensi- 172 ... Fundamental to this paper is the assertion that the middle-class child is capable of responding to, manipu- lating and understanding, a public language, expressive symbolism and a formal language which ...
In the face of the complexity of language as an object of study, it becomes crucial for researchers who investigate its various facets to communicate and to understand each-others' terminology, methods ... This short introduction to the special issue on Language as Social Coordination situates works in this issue on the map of collective effort to formulate such a theory. ... The preparation of the Special Issue and this text was supported by Marie Curie Reintegration Grant PERG06-GA-2009-256587 from European Commission, Framework Programme 7. ...doi:10.2478/v10057-012-0007-7 fatcat:3tjynx335zhxpoctymrv5jzsem
To analyze the complexity of functional shifts, we measure them in terms of topological entropy, and locate their languages in the Chomsky hierarchy. ... %Through this study, we argue that complexity of dynamics does not correspond to that of computation. ... This work is partly supported by Research Fellowship Program of Canon Foundation in Europe, and a Grant-in-Aid for Scientific Research (No.12780269) from the Ministry of Education, Culture, Sports, Science ...doi:10.1088/0951-7715/17/4/009 fatcat:da26s2jd2fc2xlexd6cdhru2ji
Lecture Notes in Computer Science
To this purpose, we used the meta-hooking approach of the ASM-based semantic framework, which allows the definition of the dynamic semantics of metamodel-based languages and of UML profiles. ⋆ This work ... The SystemC UML profile is a modeling language designed to lift features and abstractions of the SystemC/C++ class library to the UML level with the aim of improving the current industrial System-on-Chip ... Conclusions This paper presents an executable formal semantics for the SCP state machines of the SystemC UML profile by exploiting the meta-hooking approach of the ASM-based semantic framework in  ...doi:10.1007/978-3-642-11811-1_7 fatcat:wwgnsfs5zvfmpguda77gtgfnxy
Lecture Notes in Computer Science
To overcome this limitation, we present a concept including filtering and rating of potentially relevant situations. Identified situations are described in a formal, abstract and human readable way. ... Finally, a situation catalogue is built up and linked to system requirements to derive test cases using a Domain Specific Language (DSL). ... Textual requirements are either written in a natural language or in a formal way. ...doi:10.1007/978-3-319-47443-4_12 fatcat:vj2u343scbhz7bskdiclxvfkhi
Previous applications of formal analogical reasoning to the task of natural to formal language transfer have shown a very high precision. However, this also came with a low recall. ... Firstly, we present a relaxation of the search in the example base. Secondly, we adapt a dynamic programming resolution algorithm from an existing work. We then discuss the genericity obtained. ... This paper focuses on transferring user specific language, or idiolects, into formal language. The experimental context is seen as a task of machine translation: natural to formal language transfer. ...dblp:conf/iccbr/LetardIR16 fatcat:2vf2qlsoufawtebuqbkcwquco4
of similar algorithms for other formalisms that could be considered for describing the "surface" syntax of languages. ... The work presented here attempts to bring out some fundamental concepts that underlie some known parsing algorithms, usually called chart or dynamic programming parsers, in the hope of guiding the design ... Acknowledgements The author wishes to thank Jean-Marc Steyaert for timely reminding him of the intersection construction for CF languages and regular sets. ...doi:10.1111/j.1467-8640.1994.tb00011.x fatcat:fa6ksvqjsvchvh2yficyxc7qzy
This talk will present our experiences in developing Petri Net models for performance sensitive cloud applications thus leveraging the use of formal models in complex scenarios. ... of performance variability, or the need for more complex performance requirement support. ... I want to acknowledge members of the COS2MOS (Computer Science for Complex System modelling) research group that have been involved on referenced works: Unai Arronategui, José Manuel Colom, Victor Medel ...dblp:conf/apn/Banares17 fatcat:v53pv62tpvblbhp4am2qeyszpe
This review will also contain some sections to briefly introduce basic knowledge about formal language theory, such as the Chomsky hierarchy, for non-experts in computational linguistics, and to provide ... Treating genomes just as languages raises the possibility of producing concise generalizations about information in biological sequences. ... This work was partly sponsored by the Korean government scholarship program of NIIED (National Institute of International Education) and the industry-university cooperation program of SMBA (Small and Medium ...doi:10.5808/gi.2011.9.1.005 fatcat:5xcv4fhfh5bu3cedb7dhexabfm
We try to sensitize the reader to the new dynamic way of viewing things. We try to convey the sweep and elegance of its logical the- ory. ... It presents a technical framework which includes spaces of dynamic operators, varieties of dynamic inference, and various abstraction levels for processes, as well as expressive and deductive complexity ...
In this paper, we introduce a formalism, which allows reasoning about inconsistencies in the context of the design process. ... The proper management of inconsistencies starts with choosing the appropriate formalisms to characterize inconsistent situations. ... The authors wish to thank the insightful comments of Johan Vanhuyse, Tuur Benoit, Klaas Gadeyne and Maarten Witters. ...dblp:conf/models/DavidDV15 fatcat:wjxmpsm4yzddlnwv3dhztkckwy
« Previous Showing results 1 — 15 out of 195,961 results