5186 search results - page 951 / 1038 » Embedded Systems |
132
click to vote
IPCO
2008
15 years 4 months ago
2008
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound proce...
103
click to vote
IJCAI
2007
15 years 4 months ago
2007
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constr...
113
click to vote
CLIMA
2004
15 years 4 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
138
click to vote
IADIS
2004
15 years 4 months ago
2004
This paper addresses two questions. Firstly, how is it possible for an application to become aware of network conditions and secondly, given this awareness, how can a system be de...
117
click to vote
ECIS
2001
15 years 4 months ago
2001
The literature in the field of knowledge management shows a certain preoccupation with information technology (IT) and technical solutions while it reflects a limited view of orga...