1232 search results - page 32 / 247 » Digraphs: theory, algorithms and applications |
133
click to vote
FUIN
2008
15 years 14 days ago
2008
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
110
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Today’s case based reasoning applications face several challenges. In a typical application, the case bases grow at a very fast rate and their contents become increasin...
125
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
111
click to vote
STOC
2010
ACM
15 years 6 months ago
2010
ACM
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
116
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out of visual...