1187 search results - page 151 / 238 » Computation in Extended Argumentation Frameworks |
106
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
125
Voted
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
TABLETOP
2007
IEEE
15 years 8 months ago
2007
IEEE
Extending the tabletop to the third dimension has the potential to improve the quality of applications involving 3D data and tasks. Recognizing this, a number of researchers have ...
121
Voted
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
103
Voted
LAWEB
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we present a model-based approach to integrate dynamic and volatile functionality in Web Applications. Our approach comprises an extension to the OOHDM design method...