2162 search results - page 335 / 433 » Automated Reasoning on Feature Models |
183
click to vote
TRECVID
2007
15 years 7 months ago
2007
Our experiments in TRECVID 2007 include participation in the high-level feature extraction, search, and video summarization tasks, using a common system framework based on multipl...
183
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Many advances in grid resource management are still required to realize the grid computing vision of the integration of a worldwide computing infrastructure for scientifi...
218
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
166
click to vote
JNW
2008
15 years 6 months ago
2008
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
241
click to vote
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...