4678 search results - page 219 / 936 » Integrated University Information Systems |
147
click to vote
ENTCS
2008
15 years 4 months ago
2008
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...
127
click to vote
WWW
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a near real-time multilingual news monitoring and analysis system that forms the backbone of our research work. The system integrates technologies to address t...
135
click to vote
CLEF
2003
Springer
15 years 10 months ago
2003
Springer
This paper reports on the participation of ITC-irst in the Cross Language Evaluation Forum 2003; in particular, in the monolingual, bilingual, small multilingual, and spoken docum...
146
click to vote
DRM
2003
Springer
15 years 10 months ago
2003
Springer
Agrawal and Kiernan’s watermarking technique for database relations [1] and Li et al’s fingerprinting extension [6] both depend critically on primary key attributes. Hence, t...
181
click to vote
AGI
2011
14 years 8 months ago
2011
Inspired by a broader perspective viewing intelligent system dynamics in terms of the geometry of “cognitive spaces,” we conduct a preliminary investigation of the application ...