3319 search results - page 606 / 664 » Subshifts, Languages and Logic |
OTM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
SAT
2004
Springer
14 years 1 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespeciļ¬ed number of tries, each starting with an eleme...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design veriļ¬cation continues to be a major challenge and simulat...
IEEEAMS
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...