12774 search results - page 355 / 2555 » A Framework for Proof Systems |
188
Voted
NC
2008
15 years 6 months ago
2008
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems...
158
click to vote
SIAMCO
2008
15 years 6 months ago
2008
We give a new sufficient condition on the boundary conditions for the exponential stability of one-dimensional nonlinear hyperbolic systems on a bounded interval. Our proof relies ...
154
click to vote
COLING
2002
15 years 6 months ago
2002
A standard architecture for an NLG system has been defined in (Reiter and Dale, 2000). Their work describes the modularization of an NLG system and the tasks of each module. Howev...
206
click to vote
PRDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
191
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...