4372 search results - page 501 / 875 » Objects for Lexical Analysis |
195
click to vote
ROOM
2000
15 years 8 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
152
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract-- This paper presents a fast and reliable globalsearch approach to the problem of virtual camera positioning when multiple objects that need to be within the reach of the ...
166
click to vote
CLASSIFICATION
2008
15 years 7 months ago
2008
Dendrograms used in data analysis are ultrametric spaces, hence objects of nonarchimedean geometry. It is known that there exist p-adic representations of dendrograms. Completed b...
182
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
191
click to vote
ANOR
2005
15 years 6 months ago
2005
The main objects here are finite-strategy games in which entropic terms are subtracted from the payoffs. After such subtraction each Nash equilibrium solves an explicit, unconstra...