Sciweavers

1120 search results - page 84 / 224
» Making computer science minority-friendly
Sort
View
DIS
1999
Springer
15 years 8 months ago
Discovering Poetic Allusion in Anthologies of Classical Japanese Poems
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper we attempt to semi-automatically discover instances of poetic allusion, or more gener...
Kouichi Tamari, Mayumi Yamasaki, Takuya Kida, Masa...
124
Voted
ERSHOV
1999
Springer
15 years 8 months ago
The Essence of Program Transformation by Partial Evaluation and Driving
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
Neil D. Jones
118
Voted
MFCS
1997
Springer
15 years 8 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...
145
Voted
ACMSE
2007
ACM
15 years 7 months ago
BehaviorSim: towards an educational tool for behavior-based agent
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
Pavel Lakhtanau, Xiaolin Hu, Fasheng Qiu
167
Voted
ERSHOV
2009
Springer
15 years 7 months ago
Indexing Dense Nested Metric Spaces for Efficient Similarity Search
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...
Nieves R. Brisaboa, Miguel Rodríguez Luaces...