1153 search results - page 183 / 231 » Compositional Specification Calculus for Information Systems... |
120
Voted
MIR
2006
ACM
15 years 9 months ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
156
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...
161
Voted
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
GikiCLEF focused on the evaluation of the reasoning capabilities of systems to provide right answers for geographically-challenging topics. As we did not have previous experience ...
99
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Molecular maps have been developed for many species, and are of particular importance for varietal development and comparative genomics. However, despite the existence...
235
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...