2940 search results - page 438 / 588 » Relational Parametricity and Control |
164
Voted
ICADL
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
115
Voted
IMR
2004
Springer
15 years 10 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
118
Voted
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Boolean games are a class of two-player games which may be defined via a Boolean form over a set of atomic actions. A particular game on some form is instantiated by partitioning ...
149
click to vote
PCM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
157
Voted
UCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...