1631 search results - page 33 / 327 » Observing Functional Logic Computations |
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
137
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
IJON
2008
13 years 10 months ago
2008
A computational model of the peripheral auditory system is used to explain the paradoxical observation that discriminating between broadband noise sounds with and without high-fre...
BMCBI
2006
13 years 10 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
Extracting human postural information from video sequences has proved a difficult research question. The most successful approaches to date have been based on particle filtering, ...