Sciweavers

2625 search results - page 138 / 525
» Applications 2000
Sort
View
ENTCS
2000
80views more  ENTCS 2000»
15 years 3 months ago
The simply typed rewriting calculus
The rewriting calculus is a rule construction and application framework. As such it embeds in a uniform way term rewriting and lambda-calculus. Since rule application is an explic...
Horatiu Cirstea, Claude Kirchner
JNSM
2000
122views more  JNSM 2000»
15 years 3 months ago
Communications Systems Driven by Software Agent Technology
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
Alex L. Hayzelden, John Bigham, Stefan Poslad, Phi...
JSA
2000
103views more  JSA 2000»
15 years 3 months ago
Testing and built-in self-test - A survey
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...
Andreas Steininger
ICPR
2002
IEEE
16 years 5 months ago
FVC2002: Second Fingerprint Verification Competition
Two years after the first edition, a new Fingerprint Verification Competition (FVC2002) was organized by the authors, with the aim of determining the state-of-theart in this chall...
Dario Maio, Davide Maltoni, Raffaele Cappelli, Jam...
IJON
2000
72views more  IJON 2000»
15 years 3 months ago
Delay adaptation in the nervous system
Time delays are ubiquitous in the nervous system. Empirical "ndings suggest that time delays are adapted when considering the synchronous activity of neurons. We introduce a ...
Christian W. Eurich, Klaus Pawelzik, Udo Ernst, An...