1977 search results - page 233 / 396 » The satisfactory partition problem |
130
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
154
Voted
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
128
click to vote
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...
149
click to vote
COMPGEOM
2001
ACM
15 years 8 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
168
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...