2550 search results - page 252 / 510 » Difference Decision Diagrams |
164
click to vote
ISMVL
2009
IEEE
16 years 1 months ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
180
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Integrating information coming from different sensors is a fundamental capability for autonomous robots. For complex tasks like topological localization, it would be desirable ...
136
click to vote
VTC
2007
IEEE
16 years 26 days ago
2007
IEEE
— We discuss here a scheme to improve the Rel 99 UMTS radio resource management. The article focuses on the two different types of transport channel: shared and dedicated. It eva...
178
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
Traditional association rules mining (ARM) only concerns the frequency of itemsets, which may not bring large amount of profit. Utility mining only focuses on itemsets with high ut...
188
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Nowadays it is widely accepted that ontologies, the key technology for the realization of the Semantic Web, are artefacts that are collaboratively and iteratively developed/evolved...