4460 search results - page 529 / 892 » Formal methods for interactive systems |
201
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
171
Voted
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
174
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
180
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper introduces a testbed for sensor and robot network systems, currently composed of 10 cameras and 5 mobile wheeled robots equipped with several sensors for self-locali...
180
click to vote
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a new framework called fuzzy relevance feedback in interactive content-based image retrieval (CBIR) systems based on soft-decision. An efficient learning appro...