Browsing Computer Engineering / Bilgisayar Mühendisliği by Title
Now showing items 167-186 of 191
-
A semantic based certification and access control approach using security patterns on SEAGENT
(Knowledge Systems Institute Graduate School, 2008)In this paper, we propose a security infrastructure for communication between agents adaptable to FIPA security specifications by employing security patterns and semantic based policy descriptions. Security patterns are ... -
Sentiment analysis using domain-adaptation and sentence-based analysis
(Springer, 2015)Sentiment analysis aims to automatically estimate the sentiment in a given text as positive, objective or negative, possibly together with the strength of the sentiment. Polarity lexicons that indicate how positive or ... -
Serial and parallel multilevel graph partitioning using fixed centers
(Springer, 2005)We present new serial and parallel algorithms for multilevel graph partitioning. Our algorithm has coarsening, partitioning and uncoarsening phases like other multilevel partitioning methods. However, we choose fixed nodes ... -
A simplified two-view geometry based external calibration method for omnidirectional and PTZ camera pairs
(Elsevier, 2016-02-01)The external calibration of a camera system is essential for most of the applications that involve an omnidirectional and a pan-tilt-zoom (PTZ) camera. The methods in the literature fall into two major categories; (1) a ... -
A software architecture for shared resource management in mobile ad hoc networks
(Springer, 2007)We propose a three layer software architecture for shared resource management in mobile ad hoc networks(MANETs). At the lowest layer, the Merging Clustering Algorithm(MCA)[ll] partitions the MANET into a number of balanced ... -
Solving the course scheduling problem using simulated annealing
(IEEE, 2009)This paper tackles the NP-eomplete problem of academic class scheduling (or timetabling). The aim is to find a feasible timetable for the department of computer engineering in Izmir Institute of Technology. The approach ... -
Sonlu durum makinelerinin Fourier analizi tabanlı sınanması
(CEUR Workshop Proceedings, 2018)Sonlu durum makinesi (FSM), devre ve yazılım testlerinde yaygın kullanıma sahip bir modelleme tekniğidir. FSM'lerin testi için literatürde çeşitli yöntemler bulunmakla birlikte, modellerin büyümesi sonucu test kümesinin ... -
Sosyal çizgeler için arama motoru geliştirilmesi
(CEUR Workshop Proceedings, 2016)Sosyal ağlara giderek artan ilgi, beraberinde büyük ölçeklerde bağlantılı veri açığa çıkarmıştır. Bu büyük veriler üzerinde arama yapabilmek için özelleştirilmiş sistemlere gereksinim duyulmaktadır. Bu gereksinimi karşılamak ... -
Stability properties of adaptive real-time feedback scheduling: A statistical approach
(Nessuna, 2004-03)This paper focuses on the statistical analysis of an adaptive real-time feedback scheduling technique based on imprecise computation. We consider two-version tasks made of a mandatory and an optional part to be scheduled ... -
A survey of agent technologies for wireless sensor networks
(Medknow Publications and Media, 2011-03)Wireless sensor networks (WSNs) do not have a fixed infrastructure and consist of sensor nodes that perform sensing and communicating tasks. The WSNs have large application spectrum such as habitat monitoring, military ... -
Survey: Running and comparing stream clustering algorithms
(CEUR Workshop Proceedings, 2018)Recently, clustering data streams have become an incredibly important research area for knowledge discovery as applications produce more and more unstoppable streaming data. In this paper we introduce clustering, streams ... -
Systematic mapping study on process mining in agile software development
(Springer, 2018)Process mining is a process management technique that allows for the analysis of business processes based on the event logs and its aim is to discover, monitor and improve executed processes by extracting knowledge from ... -
Televizyon izleme ölçüm sistemi tasarımı
(EMO, 2011-12)Televizyon izleme ölçüm sistemleri, bireylerin ölçüm verilerinin kaydedilmesini ve bu bilgilerin raporlanmasını sağlayan yakın gelecek için oldukça ilgi çekici bir üründür. Bu makalede, televizyon izleme ölçümlerinin gerçek ... -
Time synchronization algorithms based on Timing-sync Protocol in Wireless Sensor Networks
(IEEE, 2008)Wireless Sensor Networks(WSN) are large scale networks of sensors running on wireless environment. For an application running on a WSN, gathered data by the sensors are time critical in most of the cases. However, almost ... -
Towards test case generation for synthesizable VHDL programs using model checker
(IEEE, 2010-07)VHDL programs are often tested by means of simulations, relying on test benches written intuitively. In this paper, we propose a formal approach to construct test benches from system specification. To consider the real-time ... -
Tracking fast moving targets in wireless sensor networks
(Institution of Electronics and Telecommunication Engineers, 2010-01)We propose a dynamic distributed algorithm for tracking objects that move fast in a sensor network. In the earlier efforts in tracking moving targets, the current leader node at time t predicts the location only for time ... -
Transforming VHDL to timed automata
(2016-12-02)This report presents the transformation of behavioral VHDL programs to Timed Automata. -
Tümyönlü ve PTZ kameralar ile taşıt sınıflandırması
(IEEE, 2016)Çalışmamızda trafik sahneleri üzerindeki araçların tespit edilip sınıflandırması için bir tümyönlü bir de PTZ (pantilt-zoom) kamera kullanan bir yöntem önerilmiştir. Önerilen yöntem, tümyönlü kamerada arkaplan çıkarımı ... -
Türkçe manzara metni veri kümesi
(IEEE, 2017)Manzara metni tespit etme ve tanıma gerçek dünya imgelerinden anlamlı içerik çıkarmada ve bu imgelerden olu-şan büyük veri kümelerinde aranan metni bulup getirmede büyük kolaylık sağladığından araştırmacılardan artan bir ... -
Utilization of timed automata as a verification tool for security protocols
(IEEE, 2010)Timed Automata is an extension to the automata-theoretic approach for the modeling of real time systems that introduces time into the classical automata. It has become an important research area in both the context of ...
