Sciweavers

1898 search results - page 30 / 380
» About the art in this issue
Sort
View
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 7 months ago
Logic program specialisation through partial deduction: Control issues
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
Michael Leuschel, Maurice Bruynooghe
ESWA
2008
119views more  ESWA 2008»
13 years 8 months ago
Incremental clustering of mixed data based on distance hierarchy
Clustering is an important function in data mining. Its typical application includes the analysis of consumer's materials. Adaptive resonance theory network (ART) is very pop...
Chung-Chian Hsu, Yan-Ping Huang
ARTS
1999
Springer
14 years 3 days ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
CHI
2003
ACM
14 years 1 months ago
Discovery point: enhancing the museum experience with technology
The Discovery Point prototype allows art museum visitors to hear stories about a work of art without burdening them with lengthy commentary. It is simple and compact; it has only ...
Marianne Berkovich, Jenna Date, Rachael Keeler, Ma...
CIA
2006
Springer
13 years 11 months ago
Eliminating Interdependencies Between Issues for Multi-issue Negotiation
In multi-issue negotiations, issues may be negotiated independently or not. In the latter case, the utility associated with one issue depends on the value of another. These issue d...
Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykh...