3384 search results - page 143 / 677 » More Testable Properties |
FSR
2003
Springer
14 years 2 months ago
2003
Springer
This paper studies the use of wireless Ethernet (Wi-Fi) as a localization sensor for mobile robots. Wi-Fi-based localization relies on the existence of one or more Wi-Fi devices i...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Many governmental organizations nowadays are setting up e-government initiatives to improve the delivery of services to citizens. Often, these initiatives require information exch...
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
ICCAD
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
ICIP
1998
IEEE
14 years 1 months ago
1998
IEEE
1 In this paper, the segmentation problem is formulated as a problem of segmenting a Riemannian manifold. The image domain is endowed with an anisotropic metric and its segmentatio...