387 search results - page 67 / 78 » date 2005 |
PPSWR
2005
Springer
14 years 4 months ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
SAT
2005
Springer
14 years 4 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
XPU
2005
Springer
14 years 4 months ago
2005
Springer
Naked Objects and agile software development have been suggested to complement each other. Very few empirical studies to date exist where a product has been developed using the Nak...
DIGRA
2005
Springer
14 years 4 months ago
2005
Springer
Academic interest in game development and game studies has grown steadily in recent years, with many institutions now offering courses or programs in this area. To provide a truly...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We give a simple polynomial-time algorithm to exactly count the number of Euler Tours (ETs) of any Eulerian generalized series-parallel graph, and show how to adapt this algorithm...