4036 search results - page 692 / 808 » Formal Methods |
166
click to vote
CEC
2008
IEEE
16 years 26 days ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
141
click to vote
ICMCS
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
165
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
183
click to vote
ISORC
2008
IEEE
16 years 23 days ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
138
click to vote
IWPC
2008
IEEE
16 years 23 days ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...