2344 search results - page 359 / 469 » Generating from a Deep Structure |
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
122
click to vote
LCTRTS
2007
Springer
15 years 5 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
102
click to vote
MABS
2005
Springer
15 years 4 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
120
click to vote
TLDI
2003
ACM
15 years 4 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
100
click to vote
RSCTC
2000
Springer
15 years 2 months ago
2000
Springer
We discuss how Case Based Reasoning (CBR) (see e.g. [1], [4]) philosophy of adaptation of some known situations to new similar ones can be realized in rough set framework [5] for c...