3273 search results - page 92 / 655 » types 2007 |
129
click to vote
JUCS
2007
15 years 4 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
137
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
131
Voted
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
142
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: For effective exposition of biological information, especially with regard to analysis of large-scale data types, researchers need immediate access to multiple categor...
136
Voted
BC
2000
15 years 4 months ago
2000
We identify generic sources of complex and irregular spiking in biological neural networks. For the network description, we operate on a mathematically exact mesoscopic approach. S...