Sciweavers

1690 search results - page 175 / 338
» Applications of Metric Coinduction
Sort
View
QSIC
2007
IEEE
14 years 5 months ago
On the Collaborative Development of Para-Consistent Conceptual Models
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
Ebrahim Bagheri, Ali A. Ghorbani
SAINT
2007
IEEE
14 years 5 months ago
Nazca: A Geographic Location Service
With the great expansion of advanced wireless technologies, users can now conveniently access the Internet from almost anywhere. We consider geographic information to be an import...
Mio Suzuki, Teruaki Yokoyama, Takuji Iimura, Shige...
SEMCO
2007
IEEE
14 years 5 months ago
Ontology Evaluation and Ranking using OntoQA
Ontologies form the cornerstone of the Semantic Web and are intended to help researchers to analyze and share knowledge, and as more ontologies are being introduced, it is difficu...
Samir Tartir, I. Budak Arpinar
GECCO
2007
Springer
262views Optimization» more  GECCO 2007»
14 years 4 months ago
Geometric particle swarm optimization for the sudoku puzzle
Geometric particle swarm optimization (GPSO) is a recently introduced generalization of traditional particle swarm optimization (PSO) that applies to all combinatorial spaces. The...
Alberto Moraglio, Julian Togelius
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
14 years 4 months ago
Geometric particle swarm optimisation on binary and real spaces: from theory to practice
Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both continu...
Cecilia Di Chio, Alberto Moraglio, Riccardo Poli