Sciweavers

6047 search results - page 744 / 1210
» Modeling with Extend
Sort
View
AB
2007
Springer
16 years 1 months ago
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
Heike Siebert, Alexander Bockmayr
ACCV
2007
Springer
16 years 1 months ago
Shape from Contour for the Digitization of Curved Documents
Abstract. We are aiming at extending the basic digital camera functionalities to the ability to simulate the flattening of a document, by virtually acting like a flatbed scanner....
Frédéric Courteille, Jean-Denis Duro...
CP
2007
Springer
16 years 1 months ago
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
Stefano Bistarelli, Pamela Peretti, Irina Trubitsy...
ICANN
2007
Springer
16 years 1 months ago
Multi-dimensional Recurrent Neural Networks
Abstract. Recurrent neural networks (RNNs) have proved effective at one dimensional sequence learning tasks, such as speech and online handwriting recognition. Some of the properti...
Alex Graves, Santiago Fernández, Jürge...
ICLP
2007
Springer
16 years 1 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens