Sciweavers

728 search results - page 145 / 146
» New Directions in Question Answering
Sort
View
IWSSD
1993
IEEE
13 years 10 months ago
An Active Hypertext Model for System Requirements
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
Colin Potts, Kenji Takahashi
ITICSE
2010
ACM
13 years 10 months ago
Experience report: CS1 for majors with media computation
Previous reports of a media computation approach to teaching programming have either focused on pre-CS1 courses or courses for non-majors. We report the adoption of a media comput...
Beth Simon, Päivi Kinnunen, Leo Porter, Dov Z...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
13 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
SGP
2003
13 years 7 months ago
High-Pass Quantization for Mesh Encoding
Any quantization introduces errors. An important question is how to suppress their visual effect. In this paper we present a new quantization method for the geometry of 3D meshes,...
Olga Sorkine, Daniel Cohen-Or, Sivan Toledo
FGCN
2007
IEEE
125views Communications» more  FGCN 2007»
13 years 6 months ago
Evaluation of a Simple Load Balancing Improvement for Reliable Server Pooling with Heterogeneous Server Pools
The IETF is currently standardizing a light-weight protocol framework for server redundancy and session failover: Reliable Server Pooling (RSerPool). It is the novel combination o...
Xing Zhou, Thomas Dreibholz, Erwin P. Rathgeb