2741 search results - page 419 / 549 » Engineering Mathematical Knowledge |
145
click to vote
DIMEA
2008
15 years 6 months ago
2008
In this paper we present a system that facilitates virtual museum development and usage. The system is based on a game engine, ensuring thus minimal cost and good performance, and...
173
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
159
click to vote
IESA
2007
15 years 6 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
148
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
137
click to vote
ISEMANTICS
2010
15 years 6 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...