399 search results - page 50 / 80 » Efficient Model Checking Using Tabled Resolution |
COMPLEX
2009
Springer
14 years 17 days ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...
ENVSOFT
2010
13 years 8 months ago
2010
Wind flow in urban environments is an important factor governing the dispersion of heat and pollutants from streets, squares and buildings. This paper presents a coupled CFD model...
BROADNETS
2007
IEEE
14 years 3 months ago
2007
IEEE
The ISM free-licence band is highly used by wireless technologies such IEEE 802.11, Bluetooth as well as private wireless schemes. This huge utilisation increases dramatically the ...
JPDC
2006
13 years 8 months ago
2006
Distributed hash tables (DHTs), used in a number of structured peer-to-peer (P2P) systems provide efficient mechanisms for resource placement and location. A key distinguishing fe...
AAAI
1990
13 years 9 months ago
1990
This paper presents an efficient and homogeneous paradigm for automatic acquisition and recognition of nonparametric shapes. Acquisition time varies from linear to cubic in the nu...