8337 search results - page 274 / 1668 » Reasoning With Characteristic Models |
150
click to vote
IJON
2007
15 years 6 months ago
2007
An adaptive Exponential Integrate-and-Fire (aEIF) model was used to predict the activity of layer-V-pyramidal neurons of rat neocortex under random current injection. A new protoc...
173
click to vote
CONEXT
2006
ACM
16 years 19 days ago
2006
ACM
In First Person Shooter (FPS) games the Round Trip Time (RTT), i.e., the sum of the network delay from client to server and the network delay from server to client, impacts the ga...
187
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
184
click to vote
APCCM
2010
15 years 8 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
284
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...