12836 search results - page 1996 / 2568 » Generalization Methods in Bioinformatics |
226
click to vote
ICCAD
1995
IEEE
15 years 11 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
195
Voted
SIGGRAPH
1995
ACM
15 years 11 months ago
1995
ACM
We present new techniques for computing illumination from non-diffuse luminaires and scattering from non-diffuse surfaces. The methods are based on new closed-form expressions d...
223
click to vote
SIGGRAPH
1995
ACM
15 years 11 months ago
1995
ACM
Recent advances in computer graphics have produced images approaching the elusive goal of photorealism. Since many natural objects are so complex and detailed, they are often not ...
202
click to vote
TAPSOFT
1991
Springer
15 years 11 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
191
Voted
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...