ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Searching in metric spaces is a very active field since it offers methods for indexing and searching by similarity in collections of unstructured data. These methods sele...
GI
2007
Springer
14 years 3 months ago
2007
Springer
GI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract: Aktuelle Innovationen der Informations- und Kommunikationstechnologie (IuK), wie sie etwa unter den Schlagworten ortsbasierte Dienste bzw. intelligente Handlungsumgebunge...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: Selbstberatung am Rechner beim Kauf eines technischen Produktes ist durch die Informationsvielfalt des Internets m
GI
2007
Springer
14 years 3 months ago
2007
Springer
: Assisting everyday life is one major intent of ubiquitous computing (UbiComp). In addition, a given UbiComp infrastructure can be harnessed beyond assisting and helping people in...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...