3768 search results - page 571 / 754 » Knowledge and Information in Probabilistic Systems |
167
click to vote
HICSS
2005
IEEE
16 years 1 days ago
2005
IEEE
Information Technology (IT) offshore outsourcing is a non-reversible trend due to its cost implications, and as a result, target of much inquiry in different areas of knowledge. W...
172
click to vote
ISMIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
169
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
210
click to vote
PADL
2005
Springer
15 years 12 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
152
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...