2701 search results - page 145 / 541 » On the form of witness terms |
166
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
163
click to vote
IEAAIE
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...
163
click to vote
IFIP
2007
Springer
16 years 19 days ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
176
click to vote
TELETRAFFIC
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we present a method for determining optimal routes along selected paths in a wireless mesh network based on an interference aware delay analysis. We develop an analyt...
155
click to vote
GLVLSI
2006
IEEE
16 years 16 days ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...