Sciweavers

4356 search results - page 257 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
MKM
2007
Springer
16 years 24 days ago
A Rational Reconstruction of a System for Experimental Mathematics
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
Jacques Carette, William M. Farmer, Volker Sorge
VTC
2006
IEEE
273views Communications» more  VTC 2006»
16 years 20 days ago
Path Loss Models for Air-to-Ground Radio Channels in Urban Environments
Abstract—This paper provides new statistical models for air-toground channels in an urban environment. The model is derived to operate at frequencies from 200MHz to 5GHz. Issues ...
Qixing Feng, Joe McGeehan, Eustace K. Tameh, Andre...
ACSAC
2005
IEEE
16 years 9 days ago
Generating Policies for Defense in Depth
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
Paul Rubel, Michael Ihde, Steven Harp, Charles Pay...
ICRA
2005
IEEE
156views Robotics» more  ICRA 2005»
16 years 8 days ago
A Hierarchical Multiple-Target Tracking Algorithm for Sensor Networks
Abstract— Multiple-target tracking is a canonical application of sensor networks as it exhibits different aspects of sensor networks such as event detection, sensor information f...
Songhwai Oh, Luca Schenato, Shankar Sastry
128
Voted
ISCAS
2005
IEEE
127views Hardware» more  ISCAS 2005»
16 years 8 days ago
Convergent micro-pipelines: a versatile operator for mixed asynchronous-synchronous computations
Abstract— Micro-pipelines are linear (1-D) structures for asynchronous communications. In retinotopic VLSI vision chips, communicating over 2-D image regions is a key to efficie...
Valentin Gies, Thierry M. Bernard, Alain Mé...