6020 search results - page 710 / 1204 » A New Approach to Model Counting |
207
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
This paper investigates the effects of two different communication protocols within an artificial society, where communication and cooperation is necessary to survive. Communicat...
166
click to vote
SCIA
2005
Springer
16 years 11 days ago
2005
Springer
The Automated Multiple View Inspection (AMVI) has been recently developed for automated defect detection of manufactured objects. The approach detects defects by analysing image se...
168
click to vote
EUROSEC
2010
ACM
16 years 5 days ago
2010
ACM
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....
210
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Various system-level core-based power evaluation approaches for core types like microprocessors, caches, main memories, and buses, have been proposed in the past. Approaches for o...
232
click to vote
ICPIA
1992
15 years 11 months ago
1992
Abstract. Octrees o er a powerful means for representing and manipulating 3-D objects. This paper presents an implementation of octree manipulations using a new approach on a share...