Sciweavers

2145 search results - page 348 / 429
» Architectural Specifications in CASL
Sort
View
137
Voted
WSCG
2003
170views more  WSCG 2003»
15 years 6 months ago
Experimental System for Visualization of the Light Load
This paper presents our work on an experimental system for visualization of the light load. The light load is thought as the total amount of light radiation received by all areas ...
Martin Cadík, Pavel Slavík, Jan Prik...
PROCOMET
1998
15 years 6 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
VDB
1998
275views Database» more  VDB 1998»
15 years 6 months ago
Building Metaphors for Supporting User Interaction with Multimedia Databases
In this paper we discuss how metaphors for supporting user interaction with multimedia databases can be automatically generated. The work presented is a further step in the develo...
Maria Francesca Costabile, Donato Malerba, Matthia...
ICGA
1997
134views Optimization» more  ICGA 1997»
15 years 6 months ago
Local Search Genetic Algorithm for Optimization of Highly Reliable Communications Networks
This paper presents a genetic algorithm (GA) with specialized encoding, initialization and local search genetic operators to optimize communication network topologies. This NPhard...
Berna Dengiz, Fulya Altiparmak, Alice E. Smith
114
Voted
IJCAI
1997
15 years 6 months ago
On the Efficient Classification of Data Structures by Neural Networks
Marco Gori Dipartimento di Ingegneria deU'Informazione Universita di Siena Via Roma 56 53100 Siena, Italy Alessandro Sperduti Dipartimento di Informatica Universita di Pisa C...
Paolo Frasconi, Marco Gori, Alessandro Sperduti