5550 search results - page 609 / 1110 » Different Approaches to Proof Systems |
191
click to vote
ICRA
2005
IEEE
16 years 25 days ago
2005
IEEE
— In this paper, we present a new combination of a biologically inspired attention system (VOCUS – Visual Object detection with a CompUtational attention System) with a robust ...
198
click to vote
SEKE
2005
Springer
16 years 22 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
189
click to vote
DEXA
2004
Springer
16 years 19 days ago
2004
Springer
Much work has been done on characterizing the workload of a database system. Previous studies focused on providing different types of statistical summaries, and modeling the run-ti...
172
click to vote
ECAI
2004
Springer
16 years 19 days ago
2004
Springer
1 This paper defines a new stacked generalization framework in the context of information extraction (IE) from online sources. The proposed setting removes the constraint of apply...
209
click to vote
COMPSAC
2002
IEEE
16 years 6 days ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...