Sciweavers

13734 search results - page 172 / 2747
» Abstractions of data types
Sort
View
TIT
1998
72views more  TIT 1998»
15 years 3 months ago
Runlength Limited Codes for Single Error-Detection and Single Error-Correction with Mixed Type Errors
Abstract—Runlength-limited (RLL) codes are used in magnetic recording. The error patterns that occur with peak detection magnetic recording systems when using a runlength-limited...
Patrick Perry, Mingche Li, Mao Chao Lin, Zhen Zhan...
WOTE
2010
15 years 1 months ago
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
Stéphanie Delaune, Steve Kremer, Mark Ryan
FASE
2011
Springer
14 years 7 months ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
MICCAI
2005
Springer
16 years 5 months ago
3D Freehand Ultrasound Reconstruction Based on Probe Trajectory
Abstract. 3D freehand ultrasound imaging is a very attractive technique in medical examinations and intra-operative stage for its cost and field of view capacities. This technique ...
Pierrick Coupé, Pierre Hellier, Noura Azzab...
AIMSA
2006
Springer
15 years 7 months ago
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
Martín Molina, Victor Flores