Sciweavers

6149 search results - page 519 / 1230
» Revealing the programming process
Sort
View

Book
353views
17 years 4 months ago
The MPEG-4 Structured Audio Book
"MPEG-4 Structured Audio (MP4-SA) is an ISO/IEC standard (edited by Eric Scheirer) that specifies sound not as audio data, but as a computer program that generates audio when ...
John Lazzaro, John Wawrzynek, CS Division, UC Berk...
ICLP
2009
Springer
16 years 7 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
ISBRA
2010
Springer
16 years 1 months ago
Fast Computation of the Exact Hybridization Number of Two Phylogenetic Trees
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
Yufeng Wu, Jiayin Wang
IV
2007
IEEE
106views Visualization» more  IV 2007»
16 years 1 months ago
Fostering Asynchronous Collaborative Visualization
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...
Francis T. Marchese, Natasa Brajkovska
ACSD
2005
IEEE
153views Hardware» more  ACSD 2005»
16 years 22 days ago
BoPi - A Distributed Machine for Experimenting Web Services Technologies
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
Samuele Carpineti, Cosimo Laneve, Paolo Milazzo