Sciweavers

1794 search results - page 252 / 359
» GRIDS, Databases, and Information Systems Engineering Resear...
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
13 years 10 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
CHI
2004
ACM
14 years 9 months ago
Designing smooth connections between worlds
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
Daniela Gorski Trevisan
ECIR
2006
Springer
13 years 10 months ago
Evaluating Web Search Result Summaries
The aim of our research is to produce and assess short summaries to aid users' relevance judgements, for example for a search engine result page. In this paper we present our ...
Shao Fen Liang, Siobhan Devlin, John Tait
KDD
2008
ACM
211views Data Mining» more  KDD 2008»
14 years 9 months ago
ArnetMiner: extraction and mining of academic social networks
This paper addresses several key issues in the ArnetMiner system, which aims at extracting and mining academic social networks. Specifically, the system focuses on: 1) Extracting ...
Jie Tang, Jing Zhang, Limin Yao, Juanzi Li, Li Zha...
DOLAP
2010
ACM
13 years 7 months ago
Towards OLAP query reformulation in peer-to-peer data warehousing
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
Matteo Golfarelli, Federica Mandreoli, Wilma Penzo...