Sciweavers

364 search results - page 48 / 73
» A Map of Common Knowledge Logics
Sort
View
ATAL
2005
Springer
15 years 7 months ago
Allocation of indivisible goods: a general model and some complexity results
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
Sylvain Bouveret, Michel Lemaître, Hé...
FUZZIEEE
2007
IEEE
15 years 8 months ago
Decoding Trace Peak Behaviour - A Neuro-Fuzzy Approach
— DNA sequence basecalling is commonly regarded as a solved problem, despite significant error rates being reflected in inaccuracies in databases and genome annotations. This has...
David Thornley, Stavros Petridis
CONTEXT
2003
Springer
15 years 7 months ago
A SAT-Based Algorithm for Context Matching
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
Paolo Bouquet, Bernardo Magnini, Luciano Serafini,...
MICRO
2000
IEEE
162views Hardware» more  MICRO 2000»
15 years 5 months ago
Accurate and efficient predicate analysis with binary decision diagrams
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
John W. Sias, Wen-mei W. Hwu, David I. August
DKE
2007
99views more  DKE 2007»
15 years 1 months ago
Modeling and language support for the management of pattern-bases
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...
Manolis Terrovitis, Panos Vassiliadis, Spiros Skia...