677 search results - page 57 / 136 » Dependent Types from Counterexamples |
NOMS
2000
IEEE
15 years 2 months ago
2000
IEEE
Recently mobile agent technology has been recognised as a potential tool for realising distributed network fault management. The autonomy and mobility of such agents can help ensu...
ARITH
1999
IEEE
15 years 2 months ago
1999
IEEE
A digit-recurrence algorithm for computing the Euclidean norm of a 3-dimensional vector is proposed. Starting from the vector component with the highest order of magnitude as the ...
CSREAEEE
2008
14 years 11 months ago
2008
- In this paper, we proposed an automatic pushing system, whereby the users of mobile devices set their preferences on the Internet and receive `pushed' contents, which are a ...
MVA
2007
14 years 11 months ago
2007
Automated Visual Inspection (AVI) is an essential part in the manufacturing process of Integrated Circuit (IC) packages. Contamination a common defect type found in IC packages ap...
ACL
2006
14 years 11 months ago
2006
Machine Transliteration is to transcribe a word written in a script with approximate phonetic equivalence in another language. It is useful for machine translation, cross-lingual ...