3320 search results - page 240 / 664 » Heuristics for the Phylogeny Problem |
137
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
162
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
As software systems evolve by adding new extensions some unexpected conflicts may occur, which is known as the Feature Interaction Problem (FIP). FIP is a threat to the dependabil...
142
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
We discuss the problem of scheduling tasks that consume uncertain amounts of a resource with known capacity and where the tasks have uncertain utility. In these circumstances, we w...
144
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
We present a satisfiability based multi-clock path analysis method. The method uses propositional satisfiability (SAT) in the detection of multi-clock paths. We show a method to re...
169
click to vote
AAAI
1993
15 years 8 months ago
1993
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...