Sciweavers

10670 search results - page 2104 / 2134
» Required Information Release
Sort
View
DSONLINE
2000
60views more  DSONLINE 2000»
13 years 10 months ago
Ubiquitous Electronic Tagging
The automatic identification industry is growing rapidly. Tags occur in many forms and appear on everything from luggage at the airport, to dogs, trains and fresh fruit. As with m...
Roy Want, Daniel M. Russell
ENTCS
2000
120views more  ENTCS 2000»
13 years 10 months ago
Efficient Substitution in Hoare Logic Expressions
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Roberto Virga
ENVSOFT
2000
51views more  ENVSOFT 2000»
13 years 10 months ago
Simulation of nitrous oxide and nitric oxide emissions from tropical primary forests in the Costa Rican Atlantic Zone
Nitrous oxide (N2O) and nitric oxide (NO) are important atmospheric trace gases participating in the regulation of global climate and environment. Predictive models on the emissio...
Shuguang Liu, William A. Reiners, Michael Keller, ...
ECRA
2002
113views more  ECRA 2002»
13 years 10 months ago
A European perspective towards online one-stop government: the eGOV project
E-Government reflects current visions for public administrations towards modernization and reorganization. Thereof, online one-stop Government targets the improvement of customer-...
Maria Wimmer
ML
2000
ACM
13 years 10 months ago
Maximizing Theory Accuracy Through Selective Reinterpretation
Existing methods for exploiting awed domain theories depend on the use of a su ciently large set of training examples for diagnosing and repairing aws in the theory. In this paper,...
Shlomo Argamon-Engelson, Moshe Koppel, Hillel Walt...
« Prev « First page 2104 / 2134 Last » Next »