Sciweavers

8067 search results - page 355 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
SBP
2010
Springer
15 years 12 months ago
A Knowledge Collaboration Network Model across Disciplines
Abstract. We propose a theoretical framework for the optimal collaboration among researchers in a knowledge network in which researchers are not limited to a single discipline and ...
Anna Nagurney, Qiang Qiang
125
Voted
PSIVT
2009
Springer
125views Multimedia» more  PSIVT 2009»
15 years 11 months ago
Implicit Surface Reconstruction with an Analogy of Polar Field Model
Implicit surface reconstruction has been a challenging work for decades. In this paper, motivated by the concept of classic physical polar field model and off-set points strategy...
Yuxu Lin, Chun Chen, Mingli Song, Jiajun Bu, Ziche...
SAC
2004
ACM
15 years 10 months ago
A robust deception-free coalition formation model
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
María-Victoria Belmonte, Ricardo Conejo, Jo...
126
Voted
CAV
2004
Springer
87views Hardware» more  CAV 2004»
15 years 10 months ago
GSTE Is Partitioned Model Checking
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
Roberto Sebastiani, Eli Singerman, Stefano Tonetta...
ECOOP
2004
Springer
15 years 10 months ago
An AOP Implementation Framework for Extending Join Point Models
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
Naoyasu Ubayashi, Hidehiko Masuhara, Tetsuo Tamai