5634 search results - page 857 / 1127 » About Abstract Classes |
155
click to vote
RR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
157
click to vote
SAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
188
click to vote
SCIA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of a multiplicity alpha overlay shadow mo...
186
click to vote
SEAFOOD
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper describes lessons from running software development projects across three globally distributed educational institutions. What was innovative about this study w...
192
click to vote
ACSD
2006
IEEE
16 years 22 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...