195,961 Hits in 9.1 sec

Work-sensitive Dynamic Complexity of Formal Languages [article]

Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
2021 arXiv   pre-print
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 [22] . We discuss previous work on dynamic complexity of formal languages in Sections 5 and 6.  ... 
arXiv:2101.08735v1 fatcat:43xo4flikzfivpqqkfcu7gphfe

Fool's Gold: Extracting Finite State Machines from Recurrent Network Dynamics

John F. Kolen
1993 Neural Information Processing Systems  
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

The observers' paradox: apparent computational complexity in physical systems

1995 Journal of experimental and theoretical artificial intelligence (Print)  
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

Page 172 of The British Journal of Sociology Vol. 9, Issue 2 [page]

1958 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  ... 

Types of Integration in a Theory of Language

Joanna Rączaszek-Leonardi
2012 Psychology of Language and Communication  
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

Dynamics and computation in functional shifts

Jun Namikawa, Takashi Hashimoto
2004 Nonlinearity  
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

An Executable Semantics of the SystemC UML Profile [chapter]

Elvinia Riccobene, Patrizia Scandurra
2010 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 [11]  ... 
doi:10.1007/978-3-642-11811-1_7 fatcat:wwgnsfs5zvfmpguda77gtgfnxy

From Simulation Data to Test Cases for Fully Automated Driving and ADAS [chapter]

Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German
2016 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

Reducing Noise Sensitivity of Formal Analogical Reasoning Applied to Language Transfers

Vincent Letard, Gabriel Illouz, Sophie Rosset
2016 International Conference on Case-Based Reasoning  
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

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript [article]

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
2014 arXiv   pre-print
We believe that JSAI's configurability and its formal specifications position it as a useful research platform to experiment on novel sensitivities, abstract domains, and client analyses for JavaScript  ...  We use JSAI's configurability to evaluate a large number of analysis sensitivities (some well-known, some novel) and observe some surprising results.  ...  JavaScript formalisms None of the previous work on static analysis of JavaScript has formally specified the analysis or attempted to prove soundness.  ... 
arXiv:1403.3996v1 fatcat:pp72uyhrifbplhc6bcd7cwiuxi


Bernard Lang
1994 Computational intelligence  
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

Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications

José Ángel Bañares
2017 Applications and Theory of Petri Nets  
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

Recent Progresses in the Linguistic Modeling of Biological Sequences Based on Formal Language Theory

Hyun-Seok Park, Bulgan Galbadrakh, Young-Mi Kim
2011 Genomics & Informatics  
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

Page 2076 of Mathematical Reviews Vol. , Issue 98D [page]

1998 Mathematical Reviews  
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  ... 

Towards Inconsistency Management by Process-Oriented Dependency Modeling

István Dávid, Joachim Denil, Hans Vangheluwe
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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