Sciweavers

2000 search results - page 213 / 400
» The Dynamics of Syntactic Knowledge
Sort
View
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 6 months ago
The theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
Bertrand Meyer
CPHYSICS
2008
106views more  CPHYSICS 2008»
15 years 6 months ago
A space-time-ensemble parallel nudged elastic band algorithm for molecular kinetics simulation
A scalable parallel algorithm has been designed to study long-time dynamics of many-atom systems based on the nudged elastic band method, which performs mutually constrained molec...
Aiichiro Nakano
COGSCI
2006
107views more  COGSCI 2006»
15 years 6 months ago
Arrows in Comprehending and Producing Mechanical Diagrams
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...
Julie Heiser, Barbara Tversky
JAIR
2008
173views more  JAIR 2008»
15 years 6 months ago
Computational Logic Foundations of KGP Agents
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
ISI
2006
Springer
15 years 6 months ago
Synergy: A Policy-Driven, Trust-Aware Information Dissemination Framework
Information dissemination is of vital importance in today's information-centric world. However, controlling the flow of information across multiple security domains is a probl...
Ragib Hasan, Marianne Winslett