16883 search results - page 317 / 3377 » Generalized Non-Reducible Descriptors |
217
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
130
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...
176
click to vote
COMPGEOM
2006
ACM
16 years 21 days ago
2006
ACM
Let S be a finite set of n + 3 points in general position in the plane, with 3 extreme points and n interior points. We consider triangulations drawn uniformly at random from the...
130
click to vote
ITICSE
2006
ACM
16 years 20 days ago
2006
ACM
This paper illustrates how the notion of pattern can be used in the automatic analysis and synthesis of diagrams, applied particularly to the automatic marking of ER-diagrams. The...
150
click to vote
MIR
2006
ACM
16 years 20 days ago
2006
ACM
Multimedia information retrieval is a highly diverse field. A variety of data types, research problems, methodologies are involved. Researchers in the field come from very diff...