4767 search results - page 314 / 954 » Structures for Abstract Rewriting |
148
click to vote
ESA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
172
click to vote
EUROGP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
145
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Bilingual word association networks can be beneficial as a tool in foreign language education because they show relationships among cognate words of different languages ...
159
Voted
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
183
click to vote
ISMIS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Subsystem based generalizations of rough set approximations are investigated. Instead of using an equivalence relation, an arbitrary binary relation is used to construct ...