5550 search results - page 981 / 1110 » Different Approaches to Proof Systems |
177
click to vote
HM
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we consider solving a complex real life break scheduling problem. This problem of high practical relevance arises in many working areas, e.g. in air traffic control a...
163
click to vote
BDIM
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we present an approach for specifying respect to security. When an organization wants to secure and prioritizing information security requirements in organiza- its sy...
160
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
The continuous growth in ubiquitous and mobile network connectivity, together with the increasing number of networked devices populating our everyday environments, call for a deep ...
145
click to vote
AEI
2010
15 years 6 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
184
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Head pose and gesture offer several conversational grounding cues and are used extensively in face-to-face interaction among people. To recognize visual feedback efficiently, hum...