7681 search results - page 1255 / 1537 » Typed Membrane Systems |
194
click to vote
KI
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
226
click to vote
MABS
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
186
click to vote
MCS
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. One of the potential advantages of multiple classifier systems is an increased robustness to noise and other imperfections in data. Previous experiments on classificati...
196
click to vote
PCM
2004
Springer
16 years 27 days ago
2004
Springer
Sports videos have special characteristics such as well-defined video structure, specialized sports syntax, and some canonical view types. In this paper, we proposed an online lear...
189
click to vote
SAS
2004
Springer
16 years 27 days ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...