2713 search results - page 232 / 543 » Parameterized Tree Systems |
151
Voted
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
145
click to vote
SI3D
2006
ACM
15 years 11 months ago
2006
ACM
Visual patterns on the surface of an object, such as two dimensional texture, are taken into consideration as part of the geometry remeshing process. Given a parameterized mesh an...
134
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we study a class of resource allocation games which are inspired by the El Farol Bar problem. We consider a system of competitive agents that have to choose between ...
163
click to vote
PG
2002
IEEE
15 years 10 months ago
2002
IEEE
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
124
click to vote
SPAA
2010
ACM
15 years 10 months ago
2010
ACM
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...