Science Reference
 
 
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z
Vague: A user interface to relational databases that permits vague queries
Vries. Relating the new language models of information retrieval to the traditional retrieval models
Virtual Worlds: Fast and Strategyproof Auctions for Dynamic Resource Allocation
Verifying Programs with Unreliable Channels
Value-directed compression of POMDPs
Visualizing Search-Spaces for Evolved Hybrid Auction Mechanisms
Verifying temporal heap properties specified via evolution logic
Video retrieval by feature learning in key frames
Video retrieval using global features in keyframes
Verifying Business Processes using Spin
View-Based Rendering: Visualizing Real Objects from Scanned Range and Color Data
Video mosaics for virtual environments
Verifying the SET registration protocols
Version models for software con guration management
Visualizing and Classifying Odors Using a Similarity Matrix
Variability in architectural simulations of multi-threaded workloads
ViTABaL: A Visual Language Supporting Design By Tool Abstraction
Video Mail Retrieval: the effect of word spotting accuracy on precision
Vertex cover might be hard to approximate to within 2 ??? ??
Variability Management with Feature Models
Visualising Event-based Software Systems: Issues and Experiences
Validating clinical terminology structures: Integration and cross-validation of Read Thesaurus and GALEN
V-cal: a calculus for the compilation of data parallel languages
View-based query containment
Vector-based natural language call routing
Verb semantics and lexical selection
Validating SDL Specifications: An Experiment
Visualizing high-dimensional structure with the incremental grid growing neural network
Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer
Virtual Memory for Data-Parallel Computing
Variations on incremental interpretation
Variance of aggregated web traffic
Visualizing reference patterns for solving memory leaks in java
Volunteer Computing
Veins theory: A model of global discourse cohesion and coherence
Visual servoing using image motion information
Verifying the unification algorithm in lcf
Verifying second-level security protocols
Vision based interpretation of natural sign languages
Verification of a concurrent deque implementation
Verifying adder circuits using powerlists
View Maintenance after View Synchronization
Vision steered beam-forming and transaural rendering for the artificial life interactive video environment (alive
VERBMOBIL: The evolution of a complex large speech-to-speech translation system
Volume rendering using the fourier projection-slice theorem
Vidal: Learning how to Understand Language
Verifying the SET purchase protocols
Vision Based Person Tracking with a Mobile Robot
Video scene segmentation via continuous video coherence
Visual assessment of a real-time system design: a case study on a cnc controller
Viceroy: A scalable and dynamic emulation of the butterfly
Virtual Environments for Data Sharing and Visualisation
Virtual PAT: A Virtual Personal Aerobics Trainer
Visual authentication and identification
Verification of a human in the loop or Identification via the Turing Test. Unpublished Manuscript
Video Coding and the Application Level Framing Protocol Architecture
VB2: An architecture for interaction in synthetic worlds
Visual Panel: Virtual mouse, keyboard and 3D controller with an ordinary piece of paper
Validation of knowledge-based systems: Current trends and issues. The Knowledge Engineering Review 10(1):69--71
Virtual model control of a biped walking robot
Visitor combination and traversal control
Variational extensions to EM and multinomial PCA
Vector-based integration of local and long-range information in visual cortex
V.: Pedestrian Recognition in urban traffic using Laserscanners
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Verifiable secret sharing as secure computation
Verifying secrets and relative secrecy
Vassal: Loadable scheduler support for multi-policy scheduling
Visual critiquing in domain oriented design environments: showing the right thing at the right place
VBR over VBR: the homogeneous, loss-free case
Verified bytecode model checkers
View Maintenance in a Warehousing Environment
Visual specification and monitoring of software agents in decentralised process-centred environments
Validation and Verification of Computational Models with Multiple Cognitive Agents
Verification of FLASH cache coherence protocol by aggregation of distributed transactions
Variations on sweep algorithms: Efficient computation of extended viewsheds and classifications
Vector instruction set support for conditional operations
Videotrails: Representing and visualizing structure in video sequences
Value profiling and optimization
Visualization of bibliographic networks with a reshaped landscape metaphor
Velocity-adapted spatio-temporal receptive fields for direct recognition of activities
Verification of Floating-Point Adders
Visual Querying by Color Perceptive Regions
Vibe: A video indexing and browsing environment
Vehicle Sound Signature Recognition by Frequency Vector Principal Component Analysis
Verification of a Safety-Critical Railway Interlocking System with Real-time Constraints
Verifying distributed algorithms via dynamic analysis and theorem proving
Variational methods for the Dirichlet process
Virtual Hypertext based on Paths and Warm Links" (Technical report); See WWW & ftp {progwww, progftp}.vub.ac.be
Virtual time and global states of distributed systems
Vision-guided robotic grasping: Issues and experiments
Virtual society: Extending the WWW to support a multi-user interactive shared 3D environment
Verifying identical communicating processes is undecidable
Vandermonde-Lagrange mutually orthogonal flexible transceivers for blind cdma in unknown multipath
Visual space perception and visually directed action
Viewpoint invariant texture matching and wide baseline stereo
Validation of image segmentation and expert quality with an expectation-maximization algorithm
VLEGO: A Simple Two-Handed Modeling Environment Based on Toy Blocks
Viewpoint-Invariant Representation of Generalized Cylinders Using the Symmetry Set
Virtual images: Interactive visualization of distributed object-oriented systems
Visual web information extraction with Lixto
Views in a Large Scale XML Repository
Variable precision reaching definitions analysis
Verifiable encryption and applications to group signatures and signature sharing
Virtual Environments for Training Critical Skills in Laparoscopic Surgery
Variable Length Queries for Time Series Data
Vickrey prices and shortest paths: What is an edge worth
Vector median filters, inf-sup operations, and coupled PDEs: Theoretical connections
Visual learning by integrating descriptive and generative methods
Volume Leases for Consistency in Large-Scale Systems
Vivid agents: Theory, architecture, and applications
Vision for a Smart Kiosk
Valmet: A New Validation Tool for Assessing and Improving 3D Object Segmentation
VP-based ATM network design with controlled over-subscription of restoration capacity
Verifying Nondeterministic Implementations of Deterministic Systems
vmgen --- a generator of efficient virtual machine interpreters. Software---Practice and Experience
Virtual InterNetwork Testbed: Status and research agenda
Verifying ip-core based system-on-chip designs
View-based query processing and constraint satisfaction
Version management of XML documents
Variable independence in constraint databases
Verification of real-time systems using linear relation analysis
Visualizing memory graphs
Volumetric transformation of brain anatomy
Verification of a distributed summation algorithm
Visualization of Test Information to Assist Fault Localization
Visualizing PVM executions
Video Distribution on Multicast Networks
Verification of a radio-based signalling system using the statemate verification environment
Variable-rate variable-power MQAM for fading channels
Video Source Models for ATM Networks
Verifying properties of module construction in type theory
Verification of bounded delay asynchronous circuits with timed traces
Visual development and the acquisition of binocular disparity sensitivities
Visual Definition of Virtual Documents for the World-Wide Web
Vicarious learning in mobile neurally controlled agents: The VMAXSON architecture
Verifying temporal properties of reactive systems: A step tutorial
Value-based clock gating and operation packing: dynamic strategies for improving processor power and performance
Video-as-data: Technical and Social Aspects of a Collaborative Multimedia Application
Verifying ET-LOTOS programs with KRONOS
Vickrey Pricing in network routing: Fast payment computation
Vicious strategies for Vickrey auctions
VisualGREP: A Systematic Method to Compare and Retrieve Video Sequences
Video similarity detection with video signature clustering
Visualizing the Execution of Threads-based Parallel Programs
Vague regions
Visibility-Based Pursuit-Evasion in a Polygonal Region by a Searcher
Visualizing Queries and Querying Visualizations
Visual Semantics: Extracting Visual Information from Text Accompanying Pictures
Visualizing Network Data
Verifying systems with infinite but regular state spaces
Video Abstracting
VCODE: A retargetable, extensible, very fast dynamic code generation system
Variational inequalities and the pricing of american options
Video processing and integration from multiple cameras
Vector computer memory bank contention
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
Visual Speech Recognition Using Active Shape Models and Hidden Markov Models
Virtual hierarchies and virtual networks: Some lessons from hypermedia usability research applied to the World Wide Web
Virtual batching: A new scheduling technique for video-on-demand servers
Vision-based mobile robot localization and mapping using scale-invariant features
Verifying Integrity Constraints on Web Sites
Vector quantization and density estimation
Varieties of Affect and the CogAff Architecture Schema
Variable selection and model comparison in regression
V-collide: Accelerated collision detection for VRML
Vulnerability Testing of Software System Using Fault Injection
Virtuosity: Programmable Resource Management for Spawning Networks
Visual Motion of Curves and Surfaces
Verifying safety properties of concurrent Java programs using 3-valued logic
Validating year 2000 compliance
Visual thresholds for wavelet quantization error
Value function based production scheduling
Vibration feedback models for virtual environments
Visual cortex circuitry and orientation tuning
Variance reduction in simulation of loss models
Viewing a program transformation system at work
Variable and Scalable Security: Protection of Location Information
Vector and parallel algorithms for integer factorisation
Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover. Contractor Report 189649
Visual Query of Completely Encapsulated Objects
Version Management for Tightly Integrated Software Engineering Environments
Vector-space analysis of belief-state approximation for POMDPs
Visualisation for data mining
Visualizing websites using a hierarchical table of contents browser: WebTOC
Value-directed sampling methods for monitoring pomdps
Video-on-demand Broadcasting Protocols: A Comprehensive Study
Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays
Visual simulation of smoke
Verifying network protocol implementations by symbolic refinement checking
Visualization for Fault Localization
von Oheimb. Java `ight is type-safe --- definitely
Variational principles, surface evolution, pde???s, level set methods and the stereo problem
Verification by augmented finitary abstraction
Visually guided object grasping
Visual formalisms revisited
Virtual types are statically safe
Verification methods for the Divergent Runs of Clock Systems
Video data mining using configurations of viewpoint invariant regions
Verifying atomicity specifications for concurrent object-oriented software using model-checking
Voronoi Pyramids controlled by Hopfield networks
Value Dependence Graphs: Representation Without Taxation
Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin
Visual Glue
Verification of IEEE compliant subtractive division algorithms
Verifying Cryptographic Protocols for Electronic Commerce
Visual interfaces for solids modeling
Vulnerability assessment of security seals
Visual appearance of matte surfaces
Visualseek: a fully automated content-based image query system
Verifying operating system security
Visual Navigation in an Open Environment without Map
Variational methods and the QMR-DT database
Value-cognizant admission control for rtdb systems
Visual programming languages and the empirical evidence for and against
Verifying systems with integer constraints and boolean predicates: A composite approach
Vision-servoed localization and behavior-based planning for an autonomous quadruped legged robot
Variation in the contextuality of language: An empirical measure
Variational Attribute Grammars for Computer Aided Design." ADAGE-MIT94 -01
View disassembly
VIP: a protocol providing host mobility
Visual detection of duplicated code
Verifying quantitative properties of continuous probabilistic timed automata
View-based access control with high assurance
VLSI Circuit Partitioning by Cluster-Removal Using Iterative Improvement Techniques
Visual Organization for Figure/Ground Separation
View consistency for optimistic replication
Virtual path control for ATM networks with call level quality of service guarantees
Variable QoS from shared Web caches: User-centered design and value-sensitive replacement
Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations
Variational approximations between mean field theory and the junction tree algorithm
Visualizing and animating R-trees and spatial operations in spatial databases on the worldwide web
View-based interpretation of real-time optical flow for gesture recognition
VMMC-2: efficient support for reliable, connection-oriented communication
Video Motion Capture
VIPER: A VLIW integer microprocessor
Visual deconstruction: Recognizing articulated objects
Viewing meetings captured by an omni-directional camera
Versions of Sontag's input to state stability condition and the global stabilizability problem
VERSA: A tool for the specification and analysis of resource-bound real-time systems
Viewserver Hierarchy: A New Inter-Domain Routing Protocol and its Evaluation
Video classification based on HMM using text and faces
Vision Based Remote Control in Intelligent Home Environments
Virtual and real object collisions in a merged environment
Verus: a tool for quantitative analysis of finite-state real-time systems
Visualizing implicit queries for information management and retrieval
Validating component compositions in software system generators
Verification of Temporal Properties of Processes in a Setting with Data
Verification and Specification of Concurrent Programs
Vicinal risk minimization
Variable albedo surface reconstruction from stereo and shape from shading
Voronoi diagrams in higher dimensions under certain polyhedral distance functions
Visual Interactions with a Multidimensional Ranked List
Viewpoint-Invariant Learning and Detection of Human Heads
Verification of communication protocols using data flow analysis
Virtual Memory vs. The File System
Vision-Based Self-Localization for Soccer Robots
Visualizing Spoken Interaction
Voxel Based Object Simplification
Version space algebra and its application to programming by demonstration
Variational analysis of non-Lipschitz spectral functions
View-Dependent Simplification of Arbitrary Polygonal Environments
Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell
Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): an Experiment with E-LOTOS
Virtual objects in the real world
Varying-coefficient Models
Vandergheynst: ???Computing isotropic local contrast from oriented pyramid decompositions
Varieties of Discourse Structure in Dialogue
View De nition and DTD Inference for XML
Variational analysis of some conjugate gradient methods
Verifying end-to-end protocols using induction with csp/fdr
Visualizing the evolution of web ecologies
View Definition and DTD Inference for Xml
Variable selection via penalized likelihood
Video Streaming Over the Public Internet: Multiple Description Codes and Adaptive Transport Protocols
Vertex cover: Further observations and further improvements
Very Fast Motion Planning for Dexterous Robots
Via-rad: A blackboard-based system for diagnostic radiology
View Maintenance for Hierarchical Semistructured Data
Value minimization in circumscription
Verification of time partitioning in the deos scheduler kernel
Vertical decomposition of shallow levels in 3-dimensional arrangements and its applications
Verbalization of high-level formal proofs
Visualizing the World-Wide Web with the navigational view builder
Verri, Underdiagonal lattice paths with unrestricted steps
View caching: Efficient software shared memory for dynamic computations
Virtual Information Towers - A Metaphor for Intuitive, Location-Aware Information Access in a Mobile Environment
Verification of compositional software architectures
Variable independence, quantifier elimination, and constraint representations
Varman.: ASP: Adaptive Online Parallel Disk Scheduling
Value speculation scheduling for high performance processors
Verification and abstraction of flow-graph programs with pointers and computed jumps
Verifying for reuse: foundations of object-oriented system verification
v-Promela: A visual, object-oriented language for SPIN
Value-function approximations for partially observable Markov decision processes
Visual Motion Analysis by Probabilistic Propagation of Conditional Density
Visual relevance analysis
Valid Time Integrity Constraints
Variable-Selection Heuristics in Local Search for SAT
Verifying process algebra proofs in type theory
Virtual Time Based Dynamic Load Management in the Time Warp Operating System
Virtual Environment Interaction Techniques
VAMPIR: Visualization and analysis of MPI resources
Verification of group address registration protocol using promela and spin
Verification of Parameterized Programs
Verifying modal formulas over I/O-automata by means of type theory. Logic group preprint series
Visual control of grasping and manipulation tasks
Voice over differentiated services
Verification of logic programs with delay declarations
Voronoi diagrams of polygons: A framework for shape representation
Visual Routine for Eye Detection Using Hybrid Genetic Architectures
Verifying Part of the ACCESS.bus Protocol using PVS
Verificaci'on autom'atica de sistemas temporizados utilizando Kronos
Verification of infinite state systems by compositional model checking
Validating Requirements for Fault Tolerant Systems using Model Checking
Versioned File Archiving, Compression, and Distribution. submitted for the Data Compression Conference, an earlier version is available from http://www.XCF.Berkeley.edu/jmacd/xdelta.html
Vortex: An Optimizing Compiler for Object-Oriented Languages
Video query formulation
Verifying Telecommunication Protocols with PEP
V-BLAST: An Architecture for Realizing Very High Data Rates Over the Rich-Scattering Wireless Channel
View from the top: Hierarchies and reverse hierarchies in the visual system
Visual ranking of link structures
Verifying a static RAM design by logic simulation
Virtual appliances for deploying and maintaining software
Variants of the Rogers-Ramanujan identities
View morphing
Verification tools in the development of provably correct compilers
Voice puppetry
Video multicast over the Internet
Validation experiences with the ns simulator
Visage: A User Interface Environment for Exploring Information
Visually recognizing speech using eigensequences
Visualization of search results: A comparative evaluation of text, 2d, and 3d interfaces
Verification of hybrid systems via mathematical programming
Variations in relevance judgments and the measurement of retrieval effectiveness
Verifying a Compiler Optimization for Multi-Threaded Java
Visualization Tools for Validating Software of Autonomous Spacecraft
vs. machine: A case study in base noun phrase learning
Visual tracking for intelligent vehicle-highway systems
View synchronous communication in large scale networks
Visual contextual awareness in wearable computing
Video Summarization by Curve Simplification
Virtual clothes, hair and skin for beautiful top models
Vector Prefix and Reduction Computation on Coarse-Grained, Distributed-Memory Parallel Machines
V-Clip: Fast and Robust Polyhedral Collision Detection
Visualizing the structure of the World Wide Web in 3D hyperbolic space
View-invariant analysis of cyclic motion
Verifiable semantics for agent communication languages
Value-based customer grouping from large retail data-sets
Virtual reality on a WIM: interactive worlds in miniature
Versatility for unknown worlds: Mobile sensors and self-reconfiguring robots
ViewPoint Oriented Software Development
Viewing stemming as recall enhancement
Verification of concurrent programs: The automata-theoretic framework
Validating firewalls in mobile ambients
Virtual Humans for Animation, Ergonomics, and Simulation
Virtual log based file systems for a programmable disk
Validating clustering for gene expression data
Vector quantization
VHDL generation from SDL specifications
Visual Navigation of Large Environments Using Textured Clusters
Variational implicit surfaces
Visualizing class structure of multidimensional data
Vision-based Gesture Recognition: A Review
Vickrey Auctions with Reserve Pricing
Visual Language Support for Planning and Coordination in Cooperative Work Systems
Virtual Wires: Overcoming Pin Limitations in FPGA-based Logic Emulators
Visual Information Retrieval from Large Distributed Online Repositories
Verifying that Agents Implement a Communication Language
Visually controlled graphics
Visual Specification of Multi-View Visual Environments
Virtual backbone generation and maintenance in ad hoc network mobility management
Value prediction in VLIW machines
vUML: a Tool for Verifying UML Models
Verifying advanced microarchitectures that support speculation and exceptions
Voice communication across the Internet: a network voice terminal
Vision-guided navigation using SHOSLIF
Verifying hybrid systems modeled as timed automata: A case study
Verification of logic programs and imperative programs
Validation of wireless and mobile network models and simulation
Visual Specifications of Spatio-Temporal Developments
ViBE: A new paradigm for video database browsing and search
Voting with regenerable volatile witnesses
Value-directed belief state approximation for POMDPs
Verification of relational transducers for electronic commerce
Value-added mediation in large-scale information systems
Vision planner for an intelligent multisensory vision system
Verification of control flow based security properties
Value iteration and optimization of multiclass queueing networks
Vector median filters, morphology, and PDEs: Theoretical connections
Voting without version numbers
Vehicle trajectory approximation and classification
Virtual partitioning for robust resource sharing: Computational techniques for heterogeneous traffic
Variation of cost functions in integer programming
Validation of Image Defect Models for Optical Character Recognition
View-Based Detection and Analysis of Periodic Motion
Visualizing electronic document repositories: Drawing books and papers in a digital library
Vienna-Fortran/HPF extensions for sparse and irregular problems and their compilation
Visual exploration of large data sets
View maintenance issues for the chronicle data model
Verification of all circuits in a floating-point unit using word-level model checking
Vector quantization of image subbands: A survey
Vector fields for task-level distributed manipulation: experiments with organic micro actuator arrays
Value prediction for speculative multithreaded architectures
Visual Strategies for Querying Databases
Vision servers and their clients
Voronoi skeletons: Theory and applications
Versioning issues in a collaborative distributed hypertext system
Verifying the performance of the pci local bus using symbolic techniques
Visual control of robot manipulators -- a review
Virtual space teleconferencing using a sea of cameras
Virtual partitioning by dynamic priorities: Fair and efficient resource-sharing by several services
View-based 3D object recognition with support vector machines
Voronoi diagrams of lines in 3-space under polyhedral convex distance functions
Visdb: Database exploration using multidimensional visualization
Vision and force driven sensorimotor primitives for robotic assembly skills
VPR: A New Packing, Placement and Routing Tool for
Visual image retrieval by elastic matching of user sketches
Verification of arithmetic circuits with binary moment diagrams
Verification of arithmetic functions with binary moment diagrams
Vision-based behavior acquisition for a shooting robot by using a reinforcement learning
Visualizing Complex Hypermedia Networks through Multiple Hierarchical Views
Verbmobil: Translation of Face-to-Face Dialogs
View indexing in relational databases
Variable voltage task scheduling algorithms for minimizing energy
Verifying safety properties of differential equations
Virtual Memory and Backing Storage Management in MultiProcessor Operating Systems Using Class Hierarchical Design
Variable Precision Logic
Virtual data structures
Voltage scheduling problem for dynamically variable voltage processors
Verifying temporal properties without temporal logic
Vision-based motion planning and exploration algorithms for mobile robots
Vision and Navigation in Man-made Environments: Looking for syrup in all the right places
Vis: A system for verification and synthesis
Version control in the Inscape environment
View-concepts: Knowledge-based access to databases
Variational principles for constrained systems: theory and experiment
Variational inference for continuous sigmoidal Bayesian networks
Verification of an audio control protocol
Vnodes: An architecture for multiple file system types
Verifying safety properties of a Power PC TM microprocessor using symbolic model checking without BDDs
Verification tools for finite-state concurrent systems
Visual tracking of high DOF articulated structures: An application to human hand tracking
Virtual Memory Primitives for User Programs
Verification of compiler correctness for the WAM
Viable control of hybrid systems
Variational Probabilistic Inference and the QMR-DT Network
Verification of GT1
Video skimming for quick browsing based on audio and image characterization
Variational Methods for Inference and Estimation in Graphical Models
Variational learning for switching state-space models
Verifying SCR requirements specifications using state exploration
Variational Surface Modeling
Valence induction with a head-lexicalized PCFG
Visual Specification of Interprocess and Intraprocess Communication
Vaidya???s preconditioners: Implementation and experimental study
Verifying timing properties of concurrent algorithms
Vertigo: Automatic Performance-Setting for Linux
Video Skimming and Characterization through the Combination of Image and Language Understanding Techniques
Variable and Value Ordering Heuristics for Hard Constraint Satisfaction Problems: An Application to Job Shop Scheduling
Virtual Memory Transaction Management
Verification of a multiplier: 64 bits and beyond
Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem
Verification by Approximate Forward and Backward Reachability
Vapnik-Chervonenkis dimension of neural nets
Verification of hybrid systems using abstractions
Visual routines and visual search: a real-time implementation and an automata-theoretic analysis
Variational probabilistic inference and the QMR-DT database
Visibility preprocessing for interactive walkthroughs
Verifying Automata Specifications of Probabilistic Real-Time Systems
Vision-based motion tracking of rigid objects using prediction of uncertainties
Vectorizing face images by interleaving shape and texture computations
Vademecum of divergent term rewriting systems
Virtual memory for the Sprite operating system
Verification and sensitivity analysis of minimum spanning trees in linear time
Verifying abstractions of timed systems
Viewing morphology as an inference process
Validity checking for combinations of theories with equality
Validity of TAP equations in neural networks
Verifying authentication protocols with CSP
Visual Interpretation of Known Objects in Constrained Scenes
Verifying invariants using theorem proving
Variable voltage task scheduling for minimizing energy or minimizing power
Variational learning in non-linear Gaussian belief networks
Value profiling
Valid-time Indeterminacy
Voting with ghosts
Verifying Hybrid Systems
Virtual Memory Architecture in SunOS
Visa Protocols for Controlling Inter-Organizational Datagram Flow
View-based explicit knowledge
Variational inference for Bayesian mixtures of factor analysers
Verification of linear hybrid systems by means of convex approximations
Verification of timed systems using POSETS
Video collaborative annotation forum: Establishing ground-truth labels on large multimedia datasets
Virtual swap space in SunOS
Vivid agents arguing about distributed extended logic programs
Vision-Based Reinforcement Learning for Purposive Behavior acquisition
Variable sociability in agent-based decision making
Vertical data migration in large near-line document archives based on markov-chain predictions
Virtually documented environment
Vulnerabilities of Network Control Protocols: An Example
Vicious walkers, friendly walkers and Young tableaux. II. With a wall
Verifiable homomorphic oblivious transfer and private equality test
Visualization of Navigation Patterns on a Web Site Using Model Based Clustering
View-based query processing for regular path queries with inverse
Vehicle Classification in Distributed Sensor Networks, submitted to
Video retrieval using high level features: Exploiting query matching and confidence-based weighting
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
View-based query answering and query containment over semistructured data
Versioning models
Visual query systems for databases: A survey
Versions and workspaces in Microsoft Repository
Validity of interprocedural data remapping
Verisim: Formal analysis of network simulations
Verifying security protocols as planning in logic programming
Vanishing distortion and shrinking cells
Verified bytecode subroutines
Verifying the correctness of wide-area Internet routing
Verifying JML specifications with model fields
Very fast EM-based mixture model clustering using multiresolution KD-trees
Verification of object-oriented programs with invariants
Variance-aware distortion estimation for wireless video communications
Validation, verification and implementation of timed protocols using AORTA
Virtual network transport protocols for myrinet
Variable Independence and Aggregation Closure
Virtual people: Capturing human models to populate virtual worlds
VISEXP: visualizing constraint solver dynamics using explanations
Vivaldi: A Decentralized Network Coordinate System
Virtual prototyping for modular and flexible hardware-software systems. Design Automation For Embedded Systems
Verification via structure simulation
Copyright © 2008 King Fahd University of Petroleum & Minerals. All Rights Reserved