Sciweavers

9494 search results - page 1305 / 1899
» Gaussian Process Networks
Sort
View
CIIT
2007
133views Communications» more  CIIT 2007»
15 years 8 months ago
Linear-tree rule structure for firewall optimization
Given a list of filtering rules with individual hitting probabilities, it is known that the average processing time of a linear-search based firewall can be minimized by searchi...
Liang Zhao, A. Shimae, Hiroshi Nagamochi
CSSW
2007
15 years 8 months ago
Collaborative Metadata for Geographic Information
Abstract: Retrieval of web-based geographic information (GI) for spatial decisionmaking processes can benefit from emerging semantic technologies. Ontology-supported metadata, col...
Patrick Maué
FORTE
2007
15 years 8 months ago
Coordination Via Types in an Event-Based Framework
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
GianLuigi Ferrari, Roberto Guanciale, Daniele Stro...
FORTE
2008
15 years 8 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
UAI
2008
15 years 8 months ago
Sensitivity analysis in decision circuits
Decision circuits have been developed to perform efficient evaluation of influence diagrams [Bhattacharjya and Shachter, 2007], building on the advances in arithmetic circuits for...
Debarun Bhattacharjya, Ross D. Shachter
« Prev « First page 1305 / 1899 Last » Next »