Sciweavers

3379 search results - page 248 / 676
» Combinators for Interaction Nets
Sort
View
BMCBI
2005
132views more  BMCBI 2005»
15 years 6 months ago
CLPM: A Cross-Linked Peptide Mapping Algorithm for Mass Spectrometric Analysis
Background: Protein-protein, protein-DNA and protein-RNA interactions are of central importance in biological systems. Quadrapole Time-of-flight (Q-TOF) mass spectrometry is a sen...
Yong Tang, Yingfeng Chen, Cheryl F. Lichti, Roger ...
ICFP
2007
ACM
16 years 6 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott
MICCAI
2000
Springer
15 years 10 months ago
Efficient Semiautomatic Segmentation of 3D Objects in Medical Images
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
Andrea Schenk, Guido P. M. Prause, Heinz-Otto Peit...
KI
2008
Springer
15 years 6 months ago
Enhancing Animated Agents in an Instrumented Poker Game
In this paper we present an interactive poker game in which one human user plays against two animated agents using RFID-tagged poker cards. The game is used as a showcase to illust...
Marc Schröder, Patrick Gebhard, Marcela Charf...
CHI
2009
ACM
16 years 7 months ago
Flux: a tilting multi-touch and pen based surface
FLUX is an interactive touch-sensitive tilting surface that can be used either as a sketching board, as an interactive discussion table, and as a digital presentation whiteboard. ...
Jakob Leitner, James Powell, Peter Brandl, Thomas ...