Sciweavers

3804 search results - page 114 / 761
» From Here to There
Sort
View
DL
1998
Springer
119views Digital Library» more  DL 1998»
15 years 10 months ago
Considerations for Information Environments and the NaviQue Workspace
This paper presents design considerations for the construction of advanced information environments, and a prototype interface that attempts to respond to them. The design conside...
George W. Furnas, Samuel J. Rauch
TACAS
1997
Springer
87views Algorithms» more  TACAS 1997»
15 years 10 months ago
Integration in PVS: Tables, Types, and Model Checking
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
Sam Owre, John M. Rushby, Natarajan Shankar
BIBE
2008
IEEE
111views Bioinformatics» more  BIBE 2008»
15 years 8 months ago
Structure learning for biomolecular pathways containing cycles
Bayesian network structure learning is a useful tool for elucidation of regulatory structures of biomolecular pathways. The approach however is limited by its acyclicity constraint...
S. Itani, Karen Sachs, Garry P. Nolan, M. A. Dahle...
NAACL
2003
15 years 7 months ago
LM Studies on Filled Pauses in Spontaneous Medical Dictation
We investigate the optimal LM treatment of abundant filled pauses (FP) in spontaneous monologues of a professional dictation task. Questions addressed here are (1) how to deal wi...
Jochen Peters
USAB
2007
15 years 7 months ago
Usability and Transferability of a Visualization Methodology for Medical Data
Information Visualization (InfoVis) techniques can offer a valuable contribution for the examination of medical data. We successfully developed an InfoVis application – Gravi –...
Margit Pohl, Markus Rester, Sylvia Wiltner