1449 search results - page 88 / 290 » Finiteness results for sigmoidal |
179
click to vote
ENTCS
2008
15 years 5 months ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
181
click to vote
TEC
2008
15 years 6 months ago
2008
Fingerprinting is a technique for generating a representation-independent functional signature for a game playing agent. Fingerprints can be used to compare agents across represent...
193
click to vote
PTS
2000
15 years 7 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
147
click to vote
PICS
2003
15 years 7 months ago
2003
An experimental and theoretical methodology based on spectroradiometric measures is proposed to test if the reciprocity law is verified in digital photography. Taking into account...
176
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...