11063 search results - page 249 / 2213 » On the existence of universal models |
154
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
168
click to vote
ICADL
2007
Springer
16 years 24 days ago
2007
Springer
The National Taiwan University Library has built a digital library of historical documents about Taiwan. The content is unique in that it covers about 80% of all primary Chinese hi...
164
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
182
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Universities have severe difficulties in using elearning applications successfully due to organizational problems to provide them. Providing a web-based learning environment is an...
137
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper chronicles the collaborative efforts of Valparaiso University’s IT department and main library over the past five years. Highlights of selected resources and services...