Sciweavers

4263 search results - page 293 / 853
» Learning without Coding
Sort
View
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
16 years 17 days ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
ICMCS
2006
IEEE
115views Multimedia» more  ICMCS 2006»
16 years 15 days ago
Scalable Image Retrieval from Distributed Images Database
In order to store, and retrieve images from large databases, we propose a framework, based on multiple description coding paradigm, that disseminates images over distributed serve...
Tammam Tillo, Marco Grangetto, Gabriella Olmo
ISCAS
2006
IEEE
132views Hardware» more  ISCAS 2006»
16 years 14 days ago
Fast mesh-based motion estimation employing an embedded block model
A fast algorithm for mesh-based motion estimation employing uniform triangular patches is proposed. The technique utilises an embedded block model to estimate the motion of the me...
Andy C. Yu, Heechan Park, Graham R. Martin
ISPDC
2006
IEEE
16 years 14 days ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
SCAM
2006
IEEE
16 years 14 days ago
Comparative Study of Refactoring Haskell and Erlang Programs
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
Huiqing Li, Simon Thompson