1919 search results - page 130 / 384 » Recent Extensions to Traviando |
130
click to vote
SI3D
2005
ACM
15 years 9 months ago
2005
ACM
Efficient and visually compelling reproduction of effects due to multiple scattering in participating media remains one of the most difficult tasks in computer graphics. Althoug...
109
Voted
APWEB
2005
Springer
15 years 9 months ago
2005
Springer
Recently, the issues of how to define functional dependencies (XFDs) and multivalued dependencies (XMVDs) in XML have been investigated. In this paper we consider the problem of ...
156
Voted
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
119
click to vote
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently, new cost-based filtering algorithms for shorter-path constraints have been developed. However, so far only the theoretical properties of shorter-path constrain...
133
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...