Sciweavers

20573 search results - page 335 / 4115
» The Computer's New Clothes
Sort
View
IEEEICCI
2006
IEEE
16 years 25 days ago
SenseNet: A Knowledge Representation Model for Computational Semantics
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
Ping Chen, Wei Ding 0003, Chengmin Ding
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
16 years 1 days ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 23 hour ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
IJCAI
2007
15 years 8 months ago
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
Han Lin, Kaile Su
IJCV
1998
109views more  IJCV 1998»
15 years 6 months ago
Robust Optic Flow Computation
This paper formulates the optic flow problem as a set of over-determined simultaneous linear equations. It then introduces and studies two new robust optic flow methods. The fir...
Alireza Bab-Hadiashar, David Suter