3954 search results - page 363 / 791 » Image-based Model Completion |
159
Voted
ISCAS
2007
IEEE
16 years 13 days ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
163
click to vote
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
151
Voted
CIE
2007
Springer
16 years 10 days ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
155
click to vote
CSCLP
2007
Springer
16 years 10 days ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
153
click to vote
MLDM
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...