3717 search results - page 186 / 744 » Representing Multiple Theories |
147
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We introduce a shape descriptor that is based on the Symmetry Set. This set represents pairwise symmetric points and consists of several branches. The begin and end points of the ...
123
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
We propose a new perspective, seeing interactivity that is the immaterial part of an interactive artifact as something concretely describable and perceivable as we do with physica...
111
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
We examine decision problems for various classes of convex languages, previously studied by Ang and Brzozowski under the name “continuous languages”. We can decide whether a la...
121
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
120
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...