Sciweavers

3169 search results - page 414 / 634
» A General Framework for Large Scale Systems Development
Sort
View
CC
2010
Springer
135views System Software» more  CC 2010»
15 years 6 months ago
Counting Irreducible Components of Complex Algebraic Varieties
Abstract. We present an algorithm for counting the irreducible components of a complex algebraic variety defined by a fixed number of polynomials encoded as straight-line programs ...
Peter Bürgisser, Peter Scheiblechner
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
15 years 1 months ago
Evolution of the perception about the opponent in hypergames
This paper studies the evolution of the perceptions of players about the game they are involved in using the framework of hypergame theory. The focus is on developing methods that ...
Bahman Gharesifard, Jorge Cortes
SIGMOD
2009
ACM
201views Database» more  SIGMOD 2009»
16 years 6 months ago
Cost based plan selection for xpath
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...
TASE
2008
IEEE
15 years 6 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
IMC
2007
ACM
15 years 8 months ago
A global view of kad
Distributed hash tables (DHTs) have been actively studied in literature and many different proposals have been made on how to organize peers in a DHT. However, very few DHTs have...
Moritz Steiner, Taoufik En-Najjary, Ernst W. Biers...