1730 search results - page 145 / 346 » Open Archiving for Open Research |
146
click to vote
ALT
2005
Springer
16 years 1 months ago
2005
Springer
Efficient learnability using the state merging algorithm is known for a subclass of probabilistic automata termed µ-distinguishable. In this paper, we prove that state merging alg...
126
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
The topic of virtualization has received renewed attention. Xen is a popular open source type-I hypervisor. The Xen hypervisor currently has limited capabilities for runtime modiï...
142
click to vote
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Collaborative virtual environments (CVE) allow users from different geographical locations to execute a shared task by acting upon the same entities in the virtual world. Most of ...
121
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— Recently there has been increasing research on the development of autonomous flying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
156
Voted
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...