911 search results - page 2 / 183 » First Steps with a Rideable Computer |
COSIT
1999
Springer
13 years 10 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
COMMA
2006
13 years 7 months ago
2006
Abstract. This paper presents our efforts to create argument structures from meeting transcripts automatically. We show that unit labels of argument diagrams can be learnt and pred...
ICCAD
1994
IEEE
13 years 10 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
MICAI
2000
Springer
13 years 9 months ago
2000
Springer
The Principal Components Analysis (PCA) is one of the most successfull techniques that have been used to recognize faces in images. This technique consists of extracting the eigenv...
ICCAD
2009
IEEE
13 years 3 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...