511 search results - page 10 / 103 » A Methodology for Extending Focusing Frameworks |
149
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
124
click to vote
ICANNGA
2007
Springer
15 years 10 months ago
2007
Springer
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
155
Voted
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
103
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Because of the today’s market demand for highperformance, high-density portable hand-held applications, electronic system design technology has shifted the focus from ...
107
click to vote
WSC
1998
15 years 5 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...