Sciweavers

610 search results - page 47 / 122
» Generating Research Websites Using Summarisation Techniques
Sort
View
CCIA
2006
Springer
15 years 1 months ago
Tactical modularity for evolutionary animats
In this paper, we use a massive modular architecture for the generation of complex behaviours in complex robots within the evolutionary robotics framework. We define two different ...
Ricardo A. Téllez, Cecilio Angulo
FASE
2011
Springer
14 years 1 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
DSOM
2006
Springer
15 years 1 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
CGF
2004
98views more  CGF 2004»
14 years 9 months ago
Synthesizing Sound from Turbulent Field using Sound Textures for Interactive Fluid Simulation
Sound is an indispensable element for the simulation of a realistic virtual environment. Therefore, there has been much recent research focused on the simulation of realistic soun...
Yoshinori Dobashi, Tsuyoshi Yamamoto, Tomoyuki Nis...
JIIS
2006
119views more  JIIS 2006»
14 years 9 months ago
Answering constraint-based mining queries on itemsets using previous materialized results
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
Roberto Esposito, Rosa Meo, Marco Botta