Sciweavers

1285 search results - page 62 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
101
Voted
BIOSYSTEMS
2007
111views more  BIOSYSTEMS 2007»
15 years 20 days ago
Metastability, criticality and phase transitions in brain and its models
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...
Gerhard Werner
104
Voted
ECAI
2004
Springer
15 years 6 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
88
Voted
PODS
2005
ACM
86views Database» more  PODS 2005»
16 years 21 days ago
Multi-structural databases
We introduce the Multi-Structural Database, a new data framework to support efficient analysis of large, complex data sets. An instance of the model consists of a set of data obje...
Ronald Fagin, Ramanathan V. Guha, Ravi Kumar, Jasm...
SPIN
2004
Springer
15 years 6 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
TOG
2002
114views more  TOG 2002»
15 years 6 days ago
A procedural approach to authoring solid models
We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes....
Barbara Cutler, Julie Dorsey, Leonard McMillan, Ma...