6020 search results - page 322 / 1204 » A New Approach to Model Counting |
183
Voted
VL
2006
IEEE
16 years 22 days ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
179
Voted
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
157
click to vote
MMB
1999
Springer
15 years 11 months ago
1999
Springer
Auctions are a widely used approach for determining the current market price for congested resources. However, using them for real systems, such as the Internet, the auction algor...
171
Voted
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
A new, practical, and efficient approach is proposed for 3D vascular segmentation and bifurcation structure extraction. The method uses a combination of mathematical morphology, re...
183
click to vote
WSCG
2004
15 years 8 months ago
2004
This paper presents a new method for realistic real-time rendering of tree foliage. Some approaches to this problem have been presented before but the quality of their results was...