Sciweavers

2314 search results - page 362 / 463
» What's in a model
Sort
View
SOCO
2005
Springer
14 years 3 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
WABI
2005
Springer
107views Bioinformatics» more  WABI 2005»
14 years 3 months ago
Linear Time Algorithm for Parsing RNA Secondary Structure
Abstract Baharak Rastegari and Anne Condon Department of Computer Science, University of British Columbia Abstract. Accurate prediction of pseudoknotted RNA secondary structure is ...
Baharak Rastegari, Anne Condon
SIGECOM
2004
ACM
120views ECommerce» more  SIGECOM 2004»
14 years 3 months ago
Robust incentive techniques for peer-to-peer networks
Lack of cooperation (free riding) is one of the key problems that confronts today’s P2P systems. What makes this problem particularly difficult is the unique set of challenges ...
Michal Feldman, Kevin Lai, Ion Stoica, John Chuang
VRCAI
2004
ACM
14 years 3 months ago
A web-based system for interactive visualization of scientific concepts
ion visualization is valuable in learning abstract ideas and new concepts. The existing technology for publishing online papers is lacking in terms of user interaction as well as ...
Ker Sin Neo, Qingping Lin, Robert K. L. Gay
ADAEUROPE
2004
Springer
14 years 3 months ago
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...
Thomas Vergnaud, Jérôme Hugues, Laure...