Filters








5,337 Hits in 5.5 sec

QN-ACES: Integrating Queueing Network and ACT-R, CAPS, EPIC, and Soar Architectures for Multitask Cognitive Modeling

Yili Liu
2009 International Journal of Human-Computer Interaction  
This article describes QN-ACES, a cognitive architecture that aims to integrate two complementary classes of cognitive architectures: Queueing network (QN) mathematical architecture and ACT-R, CAPS, EPIC  ...  for mathematical analysis and real time simulation of procedural tasksare summarized first, followed by a discussion of the rationale, importance and specific research issues of QN-ACES.  ...  Although ACT-R and EPIC use mathematics in analyzing some of the specific mechanisms or operations of their models (e.g., the algebraic formulation of the PRP in EPIC and the spreading activation mechanism  ... 
doi:10.1080/10447310902973182 fatcat:nkymxsxttvg2tdrqtddzr577xi

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development

H. Ehrig, B. Mahr, I. Classen, F. Orejas
1992 Computer journal  
The intention of this part 1 of an overview paper on algebraic specifications is an informal introduction to formal methods for software development in general and to applications of algebraic specifications  ...  In part 2 of this paper we give a survey of the research field of algebraic specifications developed within the last two decades, which shows how the classical view of algebraic specifications has been  ...  In the context of algebraic specifications several different module concepts have been developed supporting these ideas, e.g. in the algebraic specification languages Extended ML 30 and ACT TWO. 1333 For  ... 
doi:10.1093/comjnl/35.5.460 fatcat:bydbyk3m4bc3vnr6xnn5no27lq

Towards a formally based component description language [chapter]

J. Cramer, W. Fey, M. Goedicke, M. Große-Rhode
1991 Lecture Notes in Computer Science  
After describing the underlying concepts and the syntax of the R-language we outline an attempt to define its formal semantics by means of algebraic module specifications.  ...  The H-language was developed primarily for the specification of distributed modular systems, where the notions of data abstraction and concurrency play an equally important role.  ...  or indirectly by a translation to the module specification and interconnection language ACT TWO (see [Fey 88]).  ... 
doi:10.1007/3540539816_76 fatcat:iyjb6lxwwjdwzbnuu32tjiatyu

Page 3376 of Mathematical Reviews Vol. , Issue 91F [page]

1991 Mathematical Reviews  
Act One” and “Ab- stract Act Two”, which not only include constraints but are also institution-independent.  ...  The key topic of the volume under review is module specifications and their interconnections as means for the algebraic specification of modular systems, with their structuring and constraints as a second  ... 

Higher Education in the Middle East and India: Overview and Two Programs Created to Educate Global Business Leaders in Emerging Markets

2012 China-USA Business Review  
Figure 3 . 3 An overview of module contents. Figure 4 . 4 Descriptive overview and business applications of module 5. Figure 5 . 5 Descriptive overview and business applications of module 2.  ...  An Overview of Module Contents Module: GLOBAL CHALLENGES Descriptive Overview & Business Applications Module 5-Global Challenges This module deals with how organizations respond to global competition  ...  Dates Module 1 (1) Value proposition to participating students:  Dual degree program; MBA from CU and MS from VCU-SOB;  Cross cultural exposure-India and USA;  Two semester educational experience  ... 
doi:10.17265/1537-1514/2012.01.011 fatcat:zrtsmygckzeaxlhlie3ki2kuvq

Algebraic specification of modules and their basic interconnections

E.K. Blum, H. Ehrig, F. Parisi-Presicce
1987 Journal of computer and system sciences (Print)  
An algebraic specification concept for modules in software engineering is introduced which includes, in addition to a parameter and body part, explicit import and export interfaces.  ...  To show the practical significance, specifications for the modules of an airport-schedule system and corresponding Ada packages are presented as an example. $3  ...  The formal algebraic specification language could be an extension of ACT ONE [9, 141, where the basic notion of parameterized specifications in [3] is replaced by the notion of module specification  ... 
doi:10.1016/0022-0000(87)90028-6 fatcat:srvm6oazczg7zlnqw5qlfj2rz4

Think local, act global: How do fragmented representations of space allow seamless navigation?

Paul A. Dudchenko, Emma R. Wood, Roderick M. Grieves
2013 Behavioral and Brain Sciences  
Put simply, it is unclear how place and grid cells might provide a global representation of distance when their fields appear to represent repeated boundaries within an environment.  ...  AbstractIn this commentary, we highlight a difficulty for metric navigation arising from recent data with grid and place cells: the integration of piecemeal representations of space in environments with  ...  the Biotechnology and Biological Sciences Research Council (BB/J009792/1), and by a grant to Axona Ltd from the European Commission's Seventh Framework Programme (SPACEBRAIN).  ... 
doi:10.1017/s0140525x13000368 pmid:24103601 fatcat:sbioi44ngbavbk26znoqx7kvjy

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking [article]

Konstantinos Barlas, George Koletsos, Petros Stefaneas
2011 arXiv   pre-print
powerful algebraic specification language CafeOBJ.  ...  The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily.  ...  CAFEOBJ: An Algebraic Specification Language CafeOBJ is a new generation algebraic executable, industrial strength algebraic specification language/system.  ... 
arXiv:1103.2787v1 fatcat:dfqnza55hfbffj5gayeywh2ku4

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling [chapter]

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2007 Lecture Notes in Computer Science  
We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems.  ...  platform and the languages in which services are programmed and deployed.  ...  An algebraic semantics of SRML modules and module composition can be found in [7] .  ... 
doi:10.1007/978-3-540-73196-2_23 fatcat:afbo4ug3gncq5hy5mjqabonpeq

Partial composition and recursion of module specifications [chapter]

Francesco Parisi-Presicce
1987 Lecture Notes in Computer Science  
The basic interconnections of module specifications (union, composition and actualization) were studied in earlier papers.  ...  We also introduce a recursive construction first of a single module and then of two modules "recursivety calling" each other.  ...  Many thanks also to Annette Mosley for her excellent job of typing an unreadable manuscript in record time.  ... 
doi:10.1007/3-540-17660-8_57 fatcat:7oq6rju7wrdtngag4i3pskmqiq

A decade of TAPSOFT [chapter]

Hartmut Ehrig, Bernd Mahr
1995 Lecture Notes in Computer Science  
and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin.  ...  After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFF conferences but to discuss the general background and to focus on specific aspects of theory  ...  order sorted specifications, ACT TWO for module specifications, SPECTRAL and SPECTRUM for higher order types and TROLL light for object orientation.  ... 
doi:10.1007/3-540-59293-8_184 fatcat:vydozuun3fajhpxgakow7btv64

Structuring and Modularity [chapter]

Fernando Orejas
1999 Algebraic Foundations of Systems Specification  
Acknowledgements This paper is the result of the work of many people (which are mentioned in the paper and can be found in the references) and  ...  This notion of module is the basis of the ACT TWO specification language and was inspired on Ada Packages.  ...  Then, a system composed by a number of modules may be seen (syntactically) just as an expression defined over the given interconnection operations. This approach is the one considered in ACT TWO.  ... 
doi:10.1007/978-3-642-59851-7_6 dblp:series/ifip/Orejas99 fatcat:rb3uekjxrje2bfvdczngycad3y

The ToolBus coordination architecture [chapter]

P. Klint, P. Olivier
1996 Lecture Notes in Computer Science  
This leads to a component interconnection architecture resembling a hardware communication bus, and therefore we will call it a "TooLBus'.  ...  We give an overview of these case studies and briefly sketch the evolution of the TooLBUS design that incorporates the lessons we have learned from them.  ...  Acknowledgements We like to thank Doeco Bosscher, Thomas Bullens, Steven Klusener, Wilco Koorn, and Pieter Olivier for providing us with valuable feedback on our first TOOLBUS design.  ... 
doi:10.1007/bfb0014345 fatcat:unp5sf33urbqjfsf4zahxshbzm

Two bits: the cultural significance of free software

2008 ChoiceReviews  
Algol, a streamlined language suited to algorithmic and algebraic representations, emerged in the early 1960s as a candidate for international standardization.  ...  (human-readable) language into a machine-specific lower-level language, that is, machine language, assembly language, and ultimately the mystical zeroes and ones that course through our machines.  ...  For most of the life of the Connexions project, the XML mark-up language has been well-defined and clear, but there has been no way to write a module in XML, short of directly writing the text and the  ... 
doi:10.5860/choice.46-2158 fatcat:jtxrurovzvexbm7lslgffroqem

Two types of thought: Evidence from aphasia

Jules Davidoff
2005 Behavioral and Brain Sciences  
The distinction between rules and similarity is central to our understanding of much of cognitive psychology. Two aspects of existing research have motivated the present work.  ...  It is argued that this viewpoint allows adequate coverage of theory and empirical findings in learning, reasoning, categorization, and language, and also a reassessment of the objectives in research on  ...  ACKNOWLEDGMENTS We thank Jay McClelland, David Plaut, and members of the Carnegie Mellon PDP group for useful discussion related to this commentary.  ... 
doi:10.1017/s0140525x05290015 fatcat:dqccha2fb5gxdelfpsaacxfnhe
« Previous Showing results 1 — 15 out of 5,337 results