Sciweavers

2221 search results - page 208 / 445
» The Importance of Symmetric Representation
Sort
View
AI
2008
Springer
15 years 5 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey
IEEEHPCS
2010
15 years 5 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
ISEMANTICS
2010
15 years 5 months ago
Towards an approach for formalizing the supply chain operations
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
Milan Zdravkovic, Hervé Panetto, Miroslav T...
IV
2010
IEEE
196views Visualization» more  IV 2010»
15 years 5 months ago
3D Edge Bundling for Geographical Data Visualization
Visualization of graphs containing many nodes and edges efficiently is quite challenging since representations generally suffer from visual clutter induced by the large amount of...
Antoine Lambert, Romain Bourqui, David Auber
TASLP
2010
123views more  TASLP 2010»
15 years 4 months ago
Plane-Wave Decomposition of Acoustical Scenes Via Spherical and Cylindrical Microphone Arrays
Spherical and cylindrical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound field in ...
Dmitry N. Zotkin, Ramani Duraiswami, Nail A. Gumer...