Now showing items 1268-1287 of 1311

    • 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, B.; Sözer H. (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 ...
    • Vectorization of cadastral maps using image processing algorithms 

      Balkoca, A.; Yergök, A.I.; Yücekaya, S. (2011)
      This study aims vectorizing cadastral maps by using image processing techniques. Firstly, landing marks on cadastral maps are found by Moore Neighbor Tracing method then the connections are extracted and connecting lines ...
    • A verifiable secret sharing scheme based on the chinese remainder theorem 

      Kaya, K.; Selçuk, A.A. (2008)
      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, R.; Polat F. (Springer Verlag, 1996)
      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 

      Durupinar F.; Güdükbay, U. (2007)
      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; ...
    • Vision based behavior analysis of laboratory animals: A 3D gradient based approach 

      Sandikci, S.; Şahin P.D.; Özgüler, A.B. (2009)
      In pharmacological experiments behavior pattern of laboratory mice, which are under the influence of psychotherapeutic drugs, reveals important clues about effects of the drug. Behavior analysis of laboratory mice by video ...
    • 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 

      Dibeklioglu, H. (Institute of Electrical and Electronics Engineers Inc., 2017)
      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)