5693 search results - page 878 / 1139 » Socially relevant computing |
145
click to vote
PLILP
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
147
Voted
REX
1993
15 years 9 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
138
click to vote
VLDB
1993
ACM
15 years 9 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
133
click to vote
ECAI
1990
Springer
15 years 9 months ago
1990
Springer
Much recent work in computational morphology has presupposed that morphological operations are de nable on strings of phonological or graphemic objects. By contrast, theoretical l...
129
click to vote
APGV
2007
ACM
15 years 9 months ago
2007
ACM
3D models are subject to a wide variety of processing operations such as compression, simplification or watermarking, which introduce slight geometric modifications on the shape. ...