3745 search results - page 12 / 749 » Sonic: System Description |
LISA
2000
15 years 1 months ago
2000
Activities in complex networks are often both too important to ignore and too tedious to watch. We created a network monitoring system, Peep, that replaces visual monitoring with ...
78
Voted
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— The paper presents a robot cell for multimodal standing-up motion augmentation. The robot cell is aimed at augmenting the standing-up capabilities of impaired or paraplegic sub...
121
click to vote
ICALP
2011
Springer
14 years 3 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
DAC
2002
ACM
16 years 20 days ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
