5434 search results - page 804 / 1087 » Semantic information portals |
197
Voted
MST
2007
15 years 6 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
189
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Bursty features in text streams are very useful in many text mining applications. Most existing studies detect bursty features based purely on term frequency changes without takin...
216
click to vote
TKDE
2010
15 years 5 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
211
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...
202
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
The Web of Data currently coming into existence through the Linked Open Data (LOD) effort is a major milestone in realizing the Semantic Web vision. However, the development of app...