Sciweavers

1222 search results - page 163 / 245
» Some Results on Directable Automata
Sort
View
82
Voted
FPGA
1997
ACM
127views FPGA» more  FPGA 1997»
15 years 2 months ago
General Modeling and Technology-Mapping Technique for LUT-Based FPGAs
We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables LUTs and can yield optimal solutions. The connecti...
Amit Chowdhary, John P. Hayes
IWANN
1997
Springer
15 years 2 months ago
Recognition Model with Extension Fields
A recognition model which defines a measure of shape similarity on the direct output of multiscale and multiorientation Gabor filters does not manifest qualitative aspects of huma...
Peter Kalocsai
97
Voted
ECAI
1994
Springer
15 years 2 months ago
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
Giuseppe De Giacomo, Maurizio Lenzerini
80
Voted
CSB
2004
IEEE
116views Bioinformatics» more  CSB 2004»
15 years 1 months ago
In-Silico Prediction of Surface Residue Clusters for Enzyme-Substrate Specificity
One of the most remarkable properties of enzyme-substrate binding is the high substrate specificity among homologous enzymes. Identification of regions in enzymes that play an imp...
Gong-Xin Yu, Byung-Hoon Park, Praveen Chandramohan...
BPM
2006
Springer
105views Business» more  BPM 2006»
15 years 1 months ago
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur ...