6020 search results - page 823 / 1204 » A New Approach to Model Counting |
203
click to vote
3DIM
2005
IEEE
16 years 10 days ago
2005
IEEE
The present paper focuses on efficient inverse rendering using a Photometric Stereo technique for realistic surfaces. The technique primarily assumes the Lambertian reflection mod...
167
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
181
click to vote
RTCSA
2005
IEEE
16 years 8 days ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
161
click to vote
GCB
2005
Springer
16 years 7 days ago
2005
Springer
: Functionally related genes involved in the same molecular-genetic, biochemical, or physiological process are often regulated coordinately Such regulation is provided by precisely...
156
click to vote
ICWE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...