Computer Science: Recent submissions
Now showing items 321-340 of 549
-
Automated extraction of feature models from android based portable devices
(IEEE, 2017)Domain analysis is an essential activity in software product line engineering to identify common and variable features among the products of a product family. Feature models are commonly used for depicting the identified ... -
FORMAT: a tool for adapting test models based on feature models
(IEEE, 2017)We introduce a tool that facilitates the reuse of test models for a family of systems. Test models are defined as hierarchical Markov chains for specifying possible usage of features for these systems. Variability among ... -
Evaluating software architecture erosion for PL/SQL programs
(The ACM Digital Library, 2017)PL/SQL procedures are grouped into packages for providing modularity. These procedures are indirectly coupled due to their use of common database tables. We define a cohesion metric and cluster PL/SQL procedures based on ... -
Variational bayesian multiple instance learning with gaussian processes
(IEEE, 2017)Gaussian Processes (GPs) are effective Bayesian predictors. We here show for the first time that instance labels of a GP classifier can be inferred in the multiple instance learning (MIL) setting using variational Bayes. ... -
A knowledge driven policy framework for internet of things
(ScitePress, 2017)With the proliferation of technology, connected and interconnected devices (henceforth referred to as IoT) are fast becoming a viable option to automate the day-to-day interactions of users with their environment—be it ... -
Yapay yaşam simülasyonunda hayatta kalmak
(IEEE, 2017)Yapay yaşam, doğal yaşamdaki mekanizmaları bilgisayar ortamında taklit ederek bir yandan canlılık hakkında yeni bilgiler üretirken, diğer yandan ise mühendislik alanlarına katkı vermektedir. Bu makale geliştirdiğimiz yapay ... -
Cognition-enabled robot manipulation in human environments: requirements, recent work, and open problems
(IEEE, 2017-09)Service robots are expected to play an important role in our daily lives as our companions in home and work environments in the near future. An important requirement for fulfilling this expectation is to equip robots with ... -
Conflict resolution in decision making - Second international workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers
(Springer International Publishing, 2017) -
An introduction to the pocket negotiator: a general purpose negotiation support system
(Springer International Publishing, 2017)The Pocket Negotiator (PN) is a negotiation support system developed at TU Delft as a tool for supporting people in bilateral negotiations over multi-issue negotiation problems in arbitrary domains. Users are supported in ... -
FPGA implementation of a dense optical flow algorithm using altera openCL SDK
(Springer International Publishing, 2017)FPGA acceleration of compute-intensive algorithms is usually not regarded feasible because of the long Verilog or VHDL RTL design efforts they require. Data-parallel algorithms have an alternative platform for acceleration, ... -
Tractable policy management framework for IoT
(SPIE, 2017)Due to the advancement in the technology, hype of connected devices (hence forth referred to as IoT) in support of automating the functionality of many domains, be it intelligent manufacturing or smart homes, have become ... -
Real-time decoding of arm kinematics during grasping based on F5 neural spike data
(Springer International Publishing, 2017)Several studies have shown that the information related to grip type, object identity and kinematics of monkey grasping actions is available in macaque cortical areas of F5, MI, and AIP. In particular, these studies show ... -
On the co-absence of input terms in higher order neuron representation of boolean functions
(Springer International Publishin, 2017)Boolean functions (BFs) can be represented by using polynomial functions when −1 and +1 are used represent True and False respectively. The coefficients of the representing polynomial can be obtained by exact interpolation ... -
Enhancing MPEG DASH performance via server and network assistance
(IEEE, 2017)MPEG-Dynamic Adaptive Streaming over HTTP (DASH) provides formats that are suitable to stream media content over HTTP. Typically, the DASH client adaptively requests small chunks of media based on the available bandwidth ... -
Testing performance of application containers in the cloud with hpc loads
(Civil-Comp, 2017)In this paper, we evaluate HPC application deployment using container technology and examine performance metrics on a public cloud. The research focuses on the ease of deployment, performance and isolation issues related ... -
Generating runtime verification specifications based on static code analysis alerts
(ACM, 2017)Runtime verification techniques verify dynamic system behavior with respect to a set of specifications. These specifications are often created manually based on system requirements and constraints. In this paper, we introduce ... -
Best papers of the 2016 ACM multimedia systems (MMSys) conference and workshop on network and operating system support for digital audio and video (NOSSDAV) 2016
(The ACM Digital Library, 2017-06)N/A -
SDNHAS: An SDN-Enabled architecture to optimize qoe in http adaptive streaming
(IEEE, 2017-10)HTTP adaptive streaming (HAS) is receiving much attention from both industry and academia as it has become the de facto approach to stream media content over the Internet. Recently, we proposed a streaming architecture ... -
Runtime verification of Iot systems using complex event processing
(IEEE, 2017)Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. ... -
The sixth automated negotiating agents competition (ANAC 2015)
(Springer Nature, 2017)In May 2015, we organized the Sixth International Automated Negotiating Agents Competition (ANAC 2015) in conjunction with AAMAS 2015. ANAC is an international competition that challenges researchers to develop a successful ...
Share this page