Sciweavers

4231 search results - page 403 / 847
» Using Language More Responsibly
Sort
View
AE
2005
Springer
16 years 5 days ago
Algorithmic Self-assembly by Accretion and by Carving in MGS
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
Antoine Spicher, Olivier Michel, Jean-Louis Giavit...
CP
2004
Springer
16 years 1 days ago
A Domain Consistency Algorithm for the Stretch Constraint
The stretch constraint occurs in many rostering problems that arise in the industrial and public service sectors. In this paper we present an efficient algorithm for domain consist...
Lars Hellsten, Gilles Pesant, Peter van Beek
LAWEB
2003
IEEE
15 years 12 months ago
Alternative Implementation Techniques for Web Text Visualization
We present an approach for building text visualizations that avoids using plug-ins or clients based on languages like Java. Instead we propose to make the search engine applicatio...
Omar Alonso, Ricardo A. Baeza-Yates
173
Voted
ITICSE
1996
ACM
15 years 10 months ago
Integrating animations into courses
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
Susan H. Rodger
APSEC
2003
IEEE
15 years 10 months ago
Modular refinement in novel schema calculi
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
Moshe Deutsch, Martin C. Henson, Besnik Kajtazi