Sciweavers

2091 search results - page 298 / 419
» Time, Relevance and Interaction Modelling for Information Re...
Sort
View
WSC
2000
13 years 9 months ago
Look-ahead strategies for controlling batch operations in industry: overview, comparison and exploration
Batching jobs in a manufacturing system is a very common policy in most industries. The main reasons for batching are avoidance of set ups and/or facilitation of material handling...
Durk-Jouke van der Zee
PVLDB
2010
131views more  PVLDB 2010»
13 years 6 months ago
XSACT: A Comparison Tool for Structured Search Results
Studies show that about 50% of web search is for information exploration purpose, where a user would like to investigate, compare, evaluate, and synthesize multiple relevant resul...
Ziyang Liu, Sivaramakrishnan Natarajan, Peng Sun, ...
ISMB
1997
13 years 9 months ago
Standardized Representations of the Literature: Combining Diverse Sources of Ribosomal Data
We are building a knowledge base (KB) of published structural data on the 30s ribosomal subunit in prokaryotes. Our KB is distinguished by a standardized representation of biologi...
Russ B. Altman, Neil F. Abernethy, Richard O. Chen
CHI
2006
ACM
14 years 8 months ago
Watching the cars go round and round: designing for active spectating
Spectating at sport events is a common and popular leisure activity worldwide. Recently spectating has also become a topic of interest to CHI, particularly the design of technolog...
Barry A. T. Brown, Daniel Normark, Eric Laurier, M...
QEST
2010
IEEE
13 years 6 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...