Sciweavers

622 search results - page 15 / 125
» A Method to Retrieve Papers from MEDLINE: PETER System
Sort
View
WWW
2009
ACM
15 years 10 months ago
Deriving music theme annotations from user tags
Music theme annotations would be really beneficial for supporting retrieval, but are often neglected by users while annotating. Thus, in order to support users in tagging and to f...
Kerstin Bischoff, Claudiu S. Firan, Raluca Paiu
87
Voted
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
14 years 8 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
ESWS
2007
Springer
14 years 12 months ago
SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web
Abstract. Search engines have become the most popular tools for finding information on the Internet. A real-world Semantic Web application can benefit from this by combining its ...
Ismail Fahmi, Junte Zhang, Henk Ellermann, Gosse B...
AAAI
2012
13 years 15 days ago
Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League
Real-world AI systems have been recently deployed which can automatically analyze the plan and tactics of tennis players. As the game-state is updated regularly at short intervals...
Patrick Lucey, Alina Bialkowski, Peter Carr, Eric ...
VISUAL
1999
Springer
15 years 2 months ago
General Image Database Model
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
Peter L. Stanchev