Sciweavers

1146 search results - page 107 / 230
» Evaluation of modeling techniques for agent-based systems
Sort
View
120
Voted
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 4 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
110
Voted
DEXAW
2002
IEEE
102views Database» more  DEXAW 2002»
15 years 5 months ago
Indexing Mobile Objects on the Plane
We present a method to index objects moving on the plane in order to efficiently answer range queries about their position in the future. This problem is motivated by real-life a...
Dimitris Papadopoulos, George Kollios, Dimitrios G...
BIOCOMP
2006
15 years 2 months ago
A Relational Genomics Search Engine
We report on the development of a relational genomic search engine that integrates search of structured biological data and biomedical literature. After identifying an optimal prep...
Jay Urbain, Nazli Goharian
105
Voted
GECCO
2008
Springer
146views Optimization» more  GECCO 2008»
15 years 1 months ago
A formal performance modeling framework for bio-inspired ad hoc routing protocols
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
Muhammad Saleem, Syed Ali Khayam, Muddassar Farooq
105
Voted
HIS
2008
15 years 2 months ago
Artificial Data Sets Based on Knowledge Generators: Analysis of Learning Algorithms Efficiency
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
Joaquin Rios-Boutin, Albert Orriols-Puig, Josep Ma...