Sciweavers

5622 search results - page 207 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
SERP
2004
15 years 8 months ago
The Architectural Design of FRUIT: A Family of Retargetable User Interface Tools
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
Yi Liu, H. Conrad Cunningham, Hui Xiong
CIBCB
2007
IEEE
15 years 10 months ago
Prediction of Enzyme Catalytic Sites from Sequence Using Neural Networks
The accurate prediction of enzyme catalytic sites remains an open problem in bioinformatics. Recently, several structure-based methods have become popular; however, few robust seq...
Swati Pande, Amar Raheja, Dennis R. Livesay
SAT
2005
Springer
142views Hardware» more  SAT 2005»
16 years 21 hour ago
Optimizations for Compiling Declarative Models into Boolean Formulas
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...
ARC
2009
Springer
175views Hardware» more  ARC 2009»
16 years 1 months ago
A Hardware Accelerated Simulation Environment for Spiking Neural Networks
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...
Brendan P. Glackin, Jim Harkin, T. Martin McGinnit...
IPPS
2007
IEEE
16 years 25 days ago
A Prototype Multithreaded Associative SIMD Processor
The performance of SIMD processors is often limited by the time it takes to transfer data between the centralized control unit and the parallel processor array. This is especially...
Kevin Schaffer, Robert A. Walker