6020 search results - page 567 / 1204 » A New Approach to Model Counting |
186
click to vote
HICSS
2003
IEEE
16 years 14 days ago
2003
IEEE
Novel online file sharing technologies have created new market dynamics and posed a great challenge to the music industry to try and retain customers. Consumers have created anony...
222
click to vote
SAC
2003
ACM
16 years 12 days ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
202
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a new segmentation technique for multidimensional dynamic data. One example of such data is a perfusion sequence where a number of 3D MRI volumes sho...
178
click to vote
ALIFE
2008
15 years 7 months ago
2008
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain ...
202
click to vote
COMCOM
2006
15 years 7 months ago
2006
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...