4463 search results - page 387 / 893 » computing 2000 |
207
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
164
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
This paper makes three observations with regard to the application of algorithms such as wsat and relsat to problems of practical interest. First, we identify a specific calculati...
207
click to vote
BIOID
2008
15 years 8 months ago
2008
The paper presents a fully automatic palmprint verification system which uses 2D phase congruency to extract line features from a palmprint image and subsequently performs linear d...
193
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
170
click to vote
COLING
2000
15 years 8 months ago
2000
We have implenlented a.n interactive, Wel)-based, chat-style machine translation system, SUpl)ort;ing speech recognition and synthesis, local- or thirdparty correction of speech r...