Sciweavers

3025 search results - page 469 / 605
» Interaction in the large
Sort
View
SEBD
2003
159views Database» more  SEBD 2003»
13 years 11 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli
SERP
2003
13 years 11 months ago
Scenario-Based Software Architecture Modeling Using Message Sequence Charts
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
Gerardo Padilla, Cuauhtémoc Lemus Olalde, M...
FLAIRS
2000
13 years 11 months ago
Autonomous Automobile Behavior through Context-Based Reasoning
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...
Fernando G. Gonzalez, Patrick Grejs, Avelino J. Go...
AAAI
1997
13 years 11 months ago
Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
Daniel J. Clancy, Benjamin Kuipers
ISMB
2000
13 years 11 months ago
Search for a New Description of Protein Topology and Local Structure
A novel description of protein structure in terms of the generalized secondary structure elements (GSSE) is proposed. GSSE's are defined as fragments of the protein structure...
Lukasz Jaroszewski, Adam Godzik