6020 search results - page 502 / 1204 » A New Approach to Model Counting |
197
click to vote
VIS
2006
IEEE
16 years 8 months ago
2006
IEEE
With the explosive growth of proteomic and expression data of homologous genes, it becomes necessary to explore new methods to visualize and analyze related gene expression data t...
203
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
244
click to vote
JELIA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
189
click to vote
ESOP
2005
Springer
16 years 17 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
188
click to vote
VRST
2006
ACM
16 years 1 months ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...