2765 search results - page 356 / 553 » Works and representation |
180
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
167
click to vote
IWANN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...
184
click to vote
SG
2005
Springer
16 years 2 days ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
188
click to vote
ISSTA
2004
ACM
16 years 13 hour ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
198
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...