2607 search results - page 321 / 522 » Complete Functional Synthesis |
120
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
142
click to vote
SIGGRAPH
1992
ACM
15 years 8 months ago
1992
ACM
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
152
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...
119
click to vote
COMPGEOM
2004
ACM
15 years 8 months ago
2004
ACM
We present the first complete, exact, and efficient C++ implementation for parameterizing the intersection of two implicit quadrics with integer coefficients of arbitrary size. It...
163
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...