1058 search results - page 103 / 212 » Fault-Tolerant Resource Reasoning |
150
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
128
click to vote
ICES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
148
Voted
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
168
click to vote
CLIN
2000
15 years 6 months ago
2000
Alpino is a wide-coverage computational analyzer of Dutch which aims at accurate, full, parsing of unrestricted text. We describe the head-driven lexicalized grammar and the lexic...
170
Voted
DATESO
2009
15 years 2 months ago
2009
Ontology as a knowledge base can provide different reasoning tasks, e.g. to check consistency of the ontology or to check whether a resource is instance of a concept or not. In thi...