5707 search results - page 107 / 1142 » Symbolic Simulation - Techniques and Applications |
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: The concept of symbolic or semantic locations significantly simplifies the development of several applications that access location information in mobile scenarios. This paper mo...
IEAAIE
2005
Springer
15 years 3 months ago
2005
Springer
The present work investigates the problem of determining a learning path inside a suitable domain ontology. The proposed approach enables the user of a web learning application to ...
DM
2006
14 years 10 months ago
2006
We provide a new algorithm for indefinite nested summation which is applicable to summands involving unspecified sequences x(n). More than that, we show how to extend Karr's ...
IFIP12
2009
14 years 7 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...