6800 search results - page 713 / 1360 » Testing with Functions as Specifications |
239
click to vote
IRMA
2000
15 years 8 months ago
2000
This paper reviews the data mining methods that are combined with Geographic Information Systems (GIS) for carrying out spatial analysis of geographic data. We will first look at d...
179
click to vote
SMARTNET
2000
15 years 8 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
161
click to vote
UAI
2000
15 years 8 months ago
2000
We introduce Game networks (G nets), a novel representation for multi-agent decision problems. Compared to other game-theoretic representations, such as strategic or extensive for...
226
click to vote
UAI
2000
15 years 8 months ago
2000
We consider the problem belief-state monitoring for the purposes of implementing a policy for a partially-observable Markov decision process (POMDP), specifically how one might ap...
202
click to vote
ADHOCNOW
2009
Springer
15 years 8 months ago
2009
Springer
The increased functionality of EPC Class1 Gen2 (EPCGen2) is making this standard a de facto specification for inexpensive tags in the RFID industry. Recently three EPCGen2 complian...