Sciweavers

2656 search results - page 145 / 532
» Design and analysis of algorithms reconsidered
Sort
View
IROS
2008
IEEE
119views Robotics» more  IROS 2008»
16 years 27 days ago
Robust stability analysis of a bilateral teleoperation system using the parameter space approach
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
Angelika Peer, Martin Buss
CIKM
2004
Springer
15 years 12 months ago
Grammar-based task analysis of web logs
The daily use of Internet-based services is involved with hundreds of different tasks being performed by multiple users. A single task is typically involved with a sequence of Web...
Savitha Srinivasan, Arnon Amir, Prasad M. Deshpand...
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
FUIN
2007
123views more  FUIN 2007»
15 years 6 months ago
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
Zbigniew Suraj, Barbara Fryc
TWC
2008
106views more  TWC 2008»
15 years 6 months ago
Analysis of Handoff Interference and Outage along Arbitrary Trajectories in Cellular Networks
We introduce a new system performance measure due to handoff called handoff interference, which characterizes the additional interference noise induced by the handoff process. The ...
A. Leu, B. Mark, S. Tang