Sciweavers

2821 search results - page 340 / 565
» Adaptive Agent Model: an Agent Interaction and Computation M...
Sort
View
ISSTA
2009
ACM
15 years 11 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
ICPR
2000
IEEE
15 years 11 months ago
Incremental Observable-Area Modeling for Cooperative Tracking
In this paper, we propose an observable-area model of the scene for real-time cooperative object tracking by multiple cameras. The knowledge of partners’ abilities is necessary ...
Norimichi Ukita, Takashi Matsuyama
VMV
2003
174views Visualization» more  VMV 2003»
15 years 8 months ago
Interactive Visualization of Large Finite Element Models
198 Triangles Std. Wire Frame 2 Triangles 32×32 Texture Finite element models used in crash worthiness simulations now contain more than one million mostly quadrilateral elements...
Dirc Rose, Thomas Ertl
AAAI
2010
15 years 4 months ago
Latent Class Models for Algorithm Portfolio Methods
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
Bryan Silverthorn, Risto Miikkulainen
IDEAL
2007
Springer
16 years 21 days ago
PINCoC : A Co-clustering Based Approach to Analyze Protein-Protein Interaction Networks
A novel technique to search for functional modules in a protein-protein interaction network is presented. The network is represented by the adjacency matrix associated with the und...
Clara Pizzuti, Simona E. Rombo