1541 search results - page 267 / 309 » Interaction Analysis in Aspect-Oriented Models |
189
click to vote
GI
1998
Springer
15 years 9 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
136
Voted
BSL
2004
15 years 5 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
170
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
162
click to vote
APVIS
2009
15 years 6 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...
197
click to vote
LICS
2009
IEEE
16 years 7 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...