Sciweavers

488 search results - page 79 / 98
» Practical Context Transformation for Information System Inte...
Sort
View
65
Voted
IADIS
2004
14 years 11 months ago
Structuration and metadata for electronic library
The complexity of preserving the web is becoming one of the most important information and communication media. While the quantity of digital resources available through the web i...
Omar Larouk, Salah Dalhoumi
CSMR
2011
IEEE
14 years 1 months ago
RTFM (Read the Factual Mails) - Augmenting Program Comprehension with Remail
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
Alberto Bacchelli, Michele Lanza, Vitezslav Humpa
CORR
2010
Springer
151views Education» more  CORR 2010»
14 years 9 months ago
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Zachary Snow, David Baelde, Gopalan Nadathur
INFOVIS
2003
IEEE
15 years 2 months ago
Design Choices when Architecting Visualizations
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
Diane Tang, Chris Stolte, Robert Bosch
CCIA
2009
Springer
14 years 10 months ago
Text Detection in Urban Scenes
Abstract. Text detection in urban scenes is a hard task due to the high variability of text appearance: different text fonts, changes in the point of view, or partial occlusion are...
Sergio Escalera, Xavier Baró, Jordi Vitri&a...