Sciweavers

1469 search results - page 145 / 294
» Structural aspects of tilings
Sort
View
MIS
2005
Springer
118views Multimedia» more  MIS 2005»
15 years 4 months ago
The MX Formalism for Semantic Web Compatible Representation of Music Metadata
Abstract. Music description is nowadays considered an important matter in Information and Communication Technology. The encoding formats commonly accepted and employed are often ch...
Silvana Castano, Alfio Ferrara, Goffredo Haus, Luc...
TAINN
2005
Springer
15 years 4 months ago
An Evolutionary Local Search Algorithm for the Satisfiability Problem
Satisfiability problem is an NP-complete problem that finds itself or its variants in many combinatorial problems. There exist many complete algorithms that give successful results...
Levent Aksoy, Ece Olcay Gunes
WAC
2005
Springer
15 years 4 months ago
On Natural Mobility Models
Abstract. There is an increasing consensus that existing mobility models, such as the well-known random walk or random waypoint models, are insufficient to represent real node mobi...
Vincent Borrel, Marcelo Dias de Amorim, Serge Fdid...
EGOV
2004
Springer
15 years 4 months ago
An Integrated Framework for Analyzing Domestic and International Digital Divides
Digital divides have become an important issue that attracts a great attention of almost every country in the world and major international organizations. However, few or none of t...
Chien-Chih Yu, Hsing-I Wang
EWSA
2004
Springer
15 years 4 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu