Sciweavers

1285 search results - page 62 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
123
Voted
BIOSYSTEMS
2007
111views more  BIOSYSTEMS 2007»
15 years 3 months 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
129
Voted
ECAI
2004
Springer
15 years 9 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, ...
PODS
2005
ACM
86views Database» more  PODS 2005»
16 years 3 months 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...
142
Voted
SPIN
2004
Springer
15 years 8 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
130
Voted
TOG
2002
114views more  TOG 2002»
15 years 3 months 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...