1222 search results - page 40 / 245 » Some Results on Directable Automata |
VISUALIZATION
1991
IEEE
15 years 1 months ago
1991
IEEE
Interactive direct visualization of 3D data requires fast update rates and the ability to extract regions of interest from the surrounding data. We have implemented MultiValued Cl...
ICAIL
2007
ACM
14 years 11 months ago
2007
ACM
This paper describes the philosophy behind our tool called “Legal Taxonomy Syllabus”, the analytical instruments it provides and some case studies. The Legal Taxonomy Syllabus...
AAAI
2006
14 years 11 months ago
2006
Among various feature extraction algorithms, those based on genetic algorithms are promising owing to their potential parallelizability and possible applications in large scale an...
TOPNOC
2008
14 years 9 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
ASPDAC
2000
ACM
15 years 2 months ago
2000
ACM
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...