1027 search results - page 183 / 206 » Representing and Reasoning with Operational Semantics |
GBRPR
2007
Springer
15 years 6 months ago
2007
Springer
In the field of structural pattern recognition graphs constitute a very common and powerful way of representing patterns. In contrast to string representations, graphs allow us to ...
83
Voted
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we explore the use of several types of structural restrictions within algorithms for learning Bayesian networks. These restrictions may codify expert knowledge in a g...
131
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
90
Voted
NSDI
2007
15 years 2 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
IMC
2007
ACM
15 years 2 months ago
2007
ACM
Several route monitoring systems have been set up to help understand the Internet routing system. They operate by gathering realtime BGP updates from different networks. Many stud...