Sciweavers

7139 search results - page 1151 / 1428
» Language Engineering in Practice
Sort
View
ACMDIS
2008
ACM
15 years 8 months ago
Cognitive partnerships on the bench top: designing to support scientific researchers
There has been a growing interest to develop technologies for laboratory environments. However, existing systems are underdeployed in real research labs. In order to create more s...
Ellie Harmon, Nancy J. Nersessian
ACMICEC
2008
ACM
243views ECommerce» more  ACMICEC 2008»
15 years 8 months ago
Quality aspects in service ecosystems: areas for exploitation and exploration
Service Science, Management, and Engineering (SSME) is a research area with significant relevance to research and practice. Networked systems of web services are a field of servic...
Christoph Riedl, Tilo Böhmann, Michael Rosema...
APGV
2008
ACM
172views Visualization» more  APGV 2008»
15 years 8 months ago
Brightness of the glare illusion
The glare illusion is commonly used in CG rendering, especially in game engines, to achieve a higher brightness than that of the maximum luminance of a display. In this work, we m...
Akiko Yoshida, Matthias Ihrke, Rafal Mantiuk, Hans...
200
Voted
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 8 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
CIKM
2005
Springer
15 years 8 months ago
Fast on-line index construction by geometric partitioning
Inverted index structures are the mainstay of modern text retrieval systems. They can be constructed quickly using off-line mergebased methods, and provide efficient support for ...
Nicholas Lester, Alistair Moffat, Justin Zobel
« Prev « First page 1151 / 1428 Last » Next »