6020 search results - page 864 / 1204 » A New Approach to Model Counting |
183
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
192
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
180
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and Grid applications. Current ...
158
click to vote
PERSUASIVE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
175
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a novel system that performs text-independent speaker authentication using new spiking neural network (SNN) architectures. Each speaker is represented by a set ...