Sciweavers

6431 search results - page 104 / 1287
» Model Building by Resolution
Sort
View
ISVC
2007
Springer
16 years 13 days ago
Building Petri Nets from Video Event Ontologies
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
Gal Lavee, Artyom Borzin, Ehud Rivlin, Michael Rud...
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 6 months ago
Building Computer Network Attacks
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
Ariel Futoransky, Luciano Notarfrancesco, Gerardo ...
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 4 months ago
LinBox founding scope allocation, parallel building blocks, and separate compilation
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...
Jean-Guillaume Dumas, Thierry Gautier, Clém...
GLOBECOM
2007
IEEE
16 years 19 days ago
Priority Collision Resolution - Distributed Coordination Function for Distributed Wireless Networks
— In distributed wireless access networks, the short-term unfairness of IEEE 802.11 Distributed Coordination Function (DCF) has been revealed by many works. In this paper, a modi...
Xiaohui Ye, Xin Liu, S. J. Ben Yoo, Zhi Ding
ICDM
2006
IEEE
116views Data Mining» more  ICDM 2006»
16 years 10 days ago
Entity Resolution with Markov Logic
Entity resolution is the problem of determining which records in a database refer to the same entities, and is a crucial and expensive step in the data mining process. Interest in...
Parag Singla, Pedro Domingos