Sciweavers

7628 search results - page 439 / 1526
» Spatial P systems
Sort
View
156
Voted
JCM
2006
120views more  JCM 2006»
15 years 6 months ago
Multi-Agent Wireless System for Dynamic and Local Combined Pricing, Allocation and Billing
In established communication systems prices are determined in a quasi-static way and for a large area according to a fixed price model. Additionally, the main decision criteria of ...
Clemens Kloeck, Holger Jaekel, Friedrich Jondral
308
Voted
GIS
2009
ACM
16 years 8 months ago
A Parallel Plane Sweep Algorithm for Multi-Core Systems
A parallel version of the plane sweep algorithm targeted towards the small number of processing cores available on commonly available multi-core systems is presented. Experimental...
Mark McKenney, Tynan McGuire
MVA
1994
104views Computer Vision» more  MVA 1994»
15 years 8 months ago
Represent and Acquire Knowledge for the Development of Autonomous Vision System
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
Xiaobu Yuan
184
Voted
TCS
2008
15 years 6 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
CONCUR
1999
Springer
15 years 11 months ago
Robust Satisfaction
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
Orna Kupferman, Moshe Y. Vardi