Sciweavers

3454 search results - page 295 / 691
» Modern computer algebra
Sort
View
ICAS
2006
IEEE
157views Robotics» more  ICAS 2006»
16 years 22 days ago
Adaptive provisioning using virtual machines and autonomous role-based management
A modern server system must deliver a complex set of obligations towards its users. We study the concept of roles as autonomous encapsulations of a set of promises. Using virtuali...
Kyrre M. Begnum, Mark Burgess, John A. Sechrest
149
Voted
ISM
2006
IEEE
96views Multimedia» more  ISM 2006»
16 years 21 days ago
Practical Content-Adaptive Subsampling for Image and Video Compression
Subsampling is a commonly used technique for modern image and video compression. Existing image and video standards such as JPEG, MPEG, and H.264 provide support for uniform chrom...
Alexander Wong, William Bishop
ACRI
2004
Springer
16 years 3 days ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
DEXAW
2000
IEEE
124views Database» more  DEXAW 2000»
15 years 11 months ago
E-Councils - Systems, Experiences, Perspectives
City councils have not yet benefited as much from modern information systems as the other administrations. In the Cuparla project, members of the Stuttgart city councils were each...
Gerhard Schwabe
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
15 years 10 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner