1721 search results - page 117 / 345 » The fundamentals of hybrid systems modelers |
215
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
181
click to vote
ICMCS
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper we study the traitor tracing problem, a technique to help combat piracy of copyrighted materials. When a pirated copy of the material is observed, a traitor tracing ...
185
click to vote
MABS
2004
Springer
15 years 11 months 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...
170
click to vote
IRAL
2003
ACM
15 years 11 months ago
2003
ACM
Recent years saw an increased interest in the use and the construction of large corpora. With this increased interest and awareness has come an expansion in the application to kno...
181
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...