381 search results - page 62 / 77 » Tableaux for Acceptance Logic |
128
Voted
SSDBM
2005
IEEE
15 years 7 months ago
2005
IEEE
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
99
Voted
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...
124
click to vote
ICPPW
2003
IEEE
15 years 7 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
136
Voted
CASES
2003
ACM
15 years 7 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...