2308 search results - page 176 / 462 » Representing Symbolic Reasoning |
151
click to vote
DLOG
2010
15 years 4 months ago
2010
We put forward a methodological approach aimed at guiding ontology modellers in choosing which relations to reify. Our proposal is based on the notion of aggregation as used in con...
176
click to vote
ICISP
2010
Springer
15 years 4 months ago
2010
Springer
Video surveillance applications need tools to track people trajectories. We present here a new method to extract the 3D head trajectory of a person in a room using only one calibr...
172
click to vote
DLOG
2009
15 years 4 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
246
click to vote
IEEESP
2011
14 years 10 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
155
click to vote
IJIIDS
2011
14 years 10 months ago
2011
The environments in which agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an agent model is pr...