1274 search results - page 216 / 255 » Graph lambda theories |
GRAPHITE
2007
ACM
14 years 21 days ago
2007
ACM
This review tells about the International Conference on Information Visualization that is held annually in London, England. Themes selected from the Conference Proceedings are foc...
LICS
1997
IEEE
14 years 12 days ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
ASPDAC
2008
ACM
13 years 11 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
COMPGEOM
2005
ACM
13 years 10 months ago
2005
ACM
We present an efficient algorithm for maintaining the boundary and surface area of protein molecules as they undergo conformational changes. We also describe a robust implementati...