Sciweavers

4961 search results - page 208 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
127
Voted
CG
2002
Springer
15 years 3 months ago
A Structure for Modern Computer Narratives
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
Clark Verbrugge
125
Voted
ICDT
1995
ACM
96views Database» more  ICDT 1995»
15 years 7 months ago
On Two Forms of Structural Recursion
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
Dan Suciu, Limsoon Wong
IIE
2006
82views more  IIE 2006»
15 years 3 months ago
Structure, Scoring and Purpose of Computing Competitions
We identify aspects of computing competition formats as they relate to the purpose of these competitions, both stated and tacit. We consider the major international competitions
Gordon V. Cormack, Ian Munro, Troy Vasiga, Graeme ...
122
Voted
TC
2008
15 years 3 months ago
The Algebra of Connectors - Structuring Interaction in BIP
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
Simon Bliudze, Joseph Sifakis
101
Voted
ICCD
2002
IEEE
127views Hardware» more  ICCD 2002»
16 years 12 days ago
GPE: A New Representation for VLSI Floorplan Problem
In this paper, we propose a new representation of VLSI floorplan and building block problem. The representation is the generalization of Polish expression [1]. By proposing a new ...
Chang-Tzu Lin, De-Sheng Chen, Yi-Wen Wang