Now showing items 1268-1287 of 1308

    • V. Lifschitz, ed., formalizing common sense: papers by John McCarthy 

      Akman, V. (Elsevier BV, 1995)
      A review is presented of Lifschitz's collection of seventeen papers written by McCarthy on the subject of common sense. The book opens with a fine overview of McCarthy's research in artificial intelligence (AI). Lifschitz ...
    • Validation of the EuroSCORE risk models in Turkish adult cardiac surgical population 

      Akar, A. R.; Kurtcephe, M.; Sener, E.; Alhan, C.; Durdu, S.; Kunt, A. G.; Güvenir, H. A. (Oxford University Press, 2011)
      Objective: The aim of this study was to validate additive and logistic European System for Cardiac Operative Risk Evaluation (EuroSCORE) models on Turkish adult cardiac surgical population. Methods: TurkoSCORE project ...
    • Variability viewpoint for introducing variability in software architecture viewpoints 

      Tekinerdogan, Bedir; Sözer H. (ACM, 2012)
      Variability is the ability of a software system to be changed for a specific context, in a preplanned manner. As such, to facilitate the instantiation of a software architecture the variability concern needs to be explicitly ...
    • Vectorization and parallelization of the conjugate gradient algorithm on hypercube-connected vector processors 

      Aykanat, C.; Özgüner, F.; Scott, D. S. (Elsevier, 1990)
      Solution of large sparse linear systems of equations in the form constitutes a significant amount of the computations in the simulation of physical phenomena [1]. For example, the finite element discretization of a regular ...
    • A verifiable secret sharing scheme based on the chinese remainder theorem 

      Kaya, Kamer; Selçuk, Ali Aydın (Springer, 2008-12)
      In this paper, we investigate how to achieve verifiable secret sharing (VSS) schemes by using the Chinese Remainder Theorem (CRT). We first show that two schemes proposed earlier are not secure by an attack where the dealer ...
    • Verification of protocol conformance test cases using reachability analysis 

      Naik, K.; Sarikaya, Behcet (Elsevier Inc., 1992)
      A methodology is presented to verify manually written test cases against the formal specification of a protocol. Initially, a protocol and a test case are modeled as nondeterministic finite state machines and test case ...
    • Vertical framing of superimposed signature files using partial evaluation of queries 

      Kocberbera, S.; Can, F. (Elsevier, 1997)
      A new signature file method, Multi-Frame Signature File (MFSF), is introduced by extending the bit-sliced signature file method. In MFSF, a signature file is divided into variable sized vertical frames with different on-bit ...
    • Video copy detection using multiple visual cues and MPEG-7 descriptors 

      Küçüktunç, O.; Baştan M.; Güdükbay U.; Ulusoy, Ö. (Academic Press, 2010)
      We propose a video copy detection framework that detects copy segments by fusing the results of three different techniques: facial shot matching, activity subsequence matching, and non-facial shot matching using low-level ...
    • A video-based text and equation editor for LaTeX 

      Öksüz, Ö.; Güdükbay U.; Çetin, A. E. (Pergamon Press, 2008-09)
      In this paper we present a video based text and equation editor for LaTeX. The system recognizes what is written onto paper and generates the LaTeX code. Text and equations are written on a regular paper using a board ...
    • View maintenance in object-oriented databases 

      Alhajj, Reda; Polat, F. (Springer, 1996-09)
      in this paper, we present a model that facilitates view maintenance within object-oriented databases. For that purpose, we differentiate between two categories of classes, base classes and brother classes. While the former ...
    • A virtual garment design and simulation system 

      Durupınar, Funda; Güdükbay, Uğur (IEEE, 2007-07)
      In this paper, a 3D graphics environment for virtual garment design and simulation is presented. The proposed system enables the three dimensional construction of a garment from its cloth panels, for which the underlying ...
    • Virtual human representation and communication in VLNet 

      Capin, T. K.; Noser, H.; Thalmann, D.; Pandzic, I. S.; Thalmann, N. M. (Institute of Electrical and Electronics Engineers, 1997)
      Using virtual humans to represent participants promotes realism in networked VEs. Different message types used to animate the human body and face impose varying network requirements, as analyzed here.
    • VISIBIOweb: visualization and layout services for BioPAX pathway models 

      Dilek, A.; Belviranli, M. E.; Dogrusoz, U. (Oxford University Press, 2010-05)
      With recent advancements in techniques for cellular data acquisition, information on cellular processes has been increasing at a dramatic rate. Visualization is critical to analyzing and interpreting complex information; ...
    • Visual Computer: Editorial 

      Capin, T.; Balcisoy, S.; Thalmann, D.; Magnenat-Thalmann, N.; Chua, Tat-Seng (Springer-Verlag, 2008-05)
    • Visual transformation aided contrastive learning for video-based kinship verification 

      Dibeklioğlu, Hamdi (IEEE, 2017-10)
      Automatic kinship verification from facial information is a relatively new and open research problem in computer vision. This paper explores the possibility of learning an efficient facial representation for video-based ...
    • Visualization of crowd synchronization on footbridges 

      Durupınar, F.; Güdükbay U. (Springer, 2010)
      This paper proposes a framework for the visualization of crowd walking synchronization on footbridges. The bridge is modeled as a mass-spring system, which is a weakly damped and driven harmonic oscillator. Both the bridge ...
    • Visualizer: a mesh visualization system using view-dependent refinement 

      Güdükbay U.; Arıkan, O.; Özgüç, B. (Pergamon Press, 2002)
      Arbitrary triangle mesh is a collection of 3D triangles without any shape or boundary restrictions. Progressive mesh (PM) is a multiresolution representation that defines continuous level of detail approximations for ...
    • Viva Europa, a land of excellence in research and innovation for health and wellbeing 

      Auffray, C.; Sagner, M.; Abdelhak, S; Adcock, I.; Antonarakis, S.; Arena, R.; Argoul, F.; Balling, R.; Barabasi, Albert-Laszlo; Beckmann, J.; Bjartell, A.; Bourgeon, T.; Boutron, B.; Brahmachari, S.; Brechot, C.; Brightling, C.; Cascante, M.; Cesario, A.; Charron, D.; Chen, Sai-Juan; Chen, Z.; Chung, F.; Clement, K.; Conesa, A.; Cozzone, A.; de Jong, M.; Deleuze, Jean-François; Demotes, J.; di Meglio, A.; Djukanovic, R.; Dogrusoz, U.; Epel, E.; Fischer, A.; Gelemanovic, A.; Goble, C.; Gojobori, T.; Goldman, M.; Goossens, H.; Gros, F.; Hainaut, P.; Guo, Yi-Ke; Harrison, D.; Hoffmann, H.; Hood, L.; Hunter, P.; Jacob, Y.; Kitano, H.; Klingmuller, U.; Knoppers, B.; Kolch, W.; Koopmans, M.; Lancet, D.; Laville, M.; Lehn, Jean-Marie; Lévi, F.; Lisistsa, A.; Lotteau, V.; Mayosi, B.; Metspalu, A.; Moreau, Y.; N'Dow, J.; Nicod, L.; Noble, D.; Nogueira, Maria-Manuela; Norrby-Teglund, A.; Openshaw, P.; Ozturk, M.; Palkonen, S.; Parodi, S.; Pellet, J.; Polasek, O.; Price, N.; Pristipino, C.; Radstake, T.; Raes, M.; Roca, J.; Rozman, D.; Sabatier, P.; Sasson, S.; Schmeck, B.; Serageldin, I.; Simonds, A.; Soares, B.; Sterk, P.; Superti-Furga, G.; Supple, D.; Tegner, J.; Uhlen, M.; van der Werf, S.; Villoslada, P.; Vinciguerra, M.; Volpert, V.; Webb, S.; Wouters, E.; Sanz, F.; Nobrega, F. (Wolters Kluwer Health, 2017-06-07)
    • Voltage island based heterogeneous NoC design through constraint programming 

      Demiriz, A.; Bagherzadeh, N.; Ozturk, O. (Pergamon Press, 2014)
      This paper discusses heterogeneous Network-on-Chip (NoC) design from a Constraint Programming (CP) perspective and extends the formulation to solving Voltage-Frequency Island (VFI) problem. In general, VFI is a superior ...
    • Voting features based classifier with feature construction and its application to predicting financial distress 

      Güvenir, H. A.; Çakır, M. (Pergamon Press, 2010)
      Voting features based classifiers, shortly VFC, have been shown to perform well on most real-world data sets. They are robust to irrelevant features and missing feature values. In this paper, we introduce an extension to ...