Search
Now showing items 21-30 of 36
A big data processing framework for self-healing internet of things applications
(IEEE, 2016)
In this study, we introduce a big data processing framework that provides self-healing capability in the Internet of Things domain. We discuss the high-level architecture of this framework and its prototype implementation. ...
Autotuning runtime specialization for sparse matrix-vector multiplication
(ACM, 2016-04)
Runtime specialization is used for optimizing programs based on partial information available only at runtime. In this paper we apply autotuning on runtime specialization of Sparse Matrix-Vector Multiplication to predict ...
The fifth automated negotiating agents competition (ANAC 2014)
(Springer Science+Business Media, 2016)
In May 2014, we organized the Fifth International Automated Negotiating Agents Competition (ANAC 2014) in conjunction with AAMAS 2014. ANAC is an international competition that challenges researchers to develop a successful ...
Semantic reasoning with uncertain information from unreliable sources
(Springer International Publishing, 2016)
Intelligent software agents may significantly benefit from semantic reasoning. However, existing semantic reasoners are based on Description Logics, which cannot handle vague, incomplete, and unreliable knowledge. In this ...
Successive refinement of models for model-based testing to increase system test effectiveness
(IEEE, 2016)
Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ...
Synergistic human-robot shared control via human goal estimation
(IEEE, 2016)
In this paper, we propose and implement a synergistic human-robot collaboration framework, where the robotic system estimates the intent or goal of the human operator while being controlled by the human in real-time. Having ...
Spending "quality"' time with the web video
(IEEE, 2016)
For consumers, watching video over the Web is the most popular way to access free and premium content on connected devices. The underlying technology -- HTTP adaptive streaming -- is straightforward; however, due to quality ...
Efficient combinational circuits for division by small integer constants
(IEEE, 2016)
Division of an integer by an integer constant is a widely used operation and hence justifies a customized efficient implementation. There are various versions of this operation. This paper attacks a particular version of ...
Extending static code analysis with application-specific rules by analyzing runtime execution traces
(Springer International Publishing, 2016)
Static analysis tools cannot detect violations of application-specific rules. They can be extended with specialized checkers that implement the verification of these rules. However, such rules are usually not documented ...
A shared control method for online human-in-the-loop robot learning based on Locally Weighted Regression
(IEEE, 2016)
We propose a novel method that arbitrates the control between the human and the robot actors in a teaching-by-demonstration setting to form synergy between the two and facilitate effective skill synthesis on the robot. We ...
Share this page