1581 search results - page 124 / 317 » Domain semantics of possibility computations |
132
Voted
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
136
Voted
AIEDU
2007
15 years 3 months ago
2007
This paper presents two new corpus-based studies of feedback in the domain of teaching Spanish as a foreign language, concentrating on the type and frequency of different feedback ...
138
Voted
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
The European Commission's eEurope initiative aims to bring every citizen, home, school, business and administration online to create a digitally literate Europe. The value lie...
146
Voted
AFRIGRAPH
2007
ACM
15 years 7 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
165
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Incorporation of ontologies into annotations has enabled 'semantic integration' of complex data, making explicit the knowledge within a certain field. One of...