|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 303 occurrences of 274 keywords
|
|
|
|
|
Results
Found 262 publication records. Showing 262 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Jongwuk Lee, Seung-won Hwang, Zaiqing Nie, Ji-Rong Wen |
Query result clustering for object-level search.  |
KDD  |
2009 |
DBLP DOI BibTeX RDF |
object-level search, subspace clustering |
| 3 | Áine Mitchell, James F. Power |
Using object-level run-time metrics to study coupling between objects.  |
SAC  |
2005 |
DBLP DOI BibTeX RDF |
object-level coupling metrics, cluster analysis, object behaviour |
| 2 | Blair Foster, Anil Somayaji |
Object-level recombination of commodity applications.  |
GECCO  |
2010 |
DBLP DOI BibTeX RDF |
commodity programs, object-level recombination, objrecombga, software recombination, genetic algorithms, genetic programming |
| 2 | Ling Lin, Yukai He, Hang Guo, Ju Fan, Lizhu Zhou, Qi Guo, Gang Li |
SESQ: A Model-Driven Method for Building Object Level Vertical Search Engines.  |
ER  |
2008 |
DBLP DOI BibTeX RDF |
model-driven method, object-level vertical search engine, schema |
| 2 | Laura E. Boucheron, Neal R. Harvey, B. S. Manjunath |
A Quantitative Object-Level Metric for Segmentation Performance and Its Application to Cell Nuclei.  |
ISVC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Miguel A. Gomez-Hernandez, Juan I. Asensio-Pérez, Eduardo Gómez-Sánchez, Miguel L. Bote-Lorenzo, Yannis A. Dimitriadis |
A High-Level Reference Model for Reusable Object-Level Coordination Support in Groupware Applications.  |
PDP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas Wimböck, Christian Ott, Gerd Hirzinger |
Passivity-based Object-Level Impedance Control for a Multifingered Hand.  |
IROS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Ling Lin, Gang Li, Lizhu Zhou |
Meta-search Based Web Resource Discovery for Object-Level Vertical Search.  |
WISE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Qing Wu, Shing-Chow Chan, Heung-Yeung Shum |
A Convex Optimization-Based Object-Level Rate Control Algorithm for MPEG-4 Video Object Coding.  |
APCCAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | A. Vadivel, M. Mohan, Shamik Sural, Arun K. Majumdar |
Object Level Frame Comparison for Video Shot Detection.  |
WACV/MOTION  |
2005 |
DBLP DOI BibTeX RDF |
Frame segmentation, clustering, Shot detection, HSV color space |
| 2 | Zaiqing Nie, Yuanzhi Zhang, Ji-Rong Wen, Wei-Ying Ma |
Object-level ranking: bringing order to Web objects.  |
WWW  |
2005 |
DBLP DOI BibTeX RDF |
PopRank, link analysis, PageRank, Web information retrieval, Web objects |
| 2 | Teng-Tiow Tay, Yingyi Chu, Yang Sun |
Distributed Code Generation Using Object Level Analysis.  |
CIT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Josef Sivic, Frederik Schaffalitzky, Andrew Zisserman |
Object Level Grouping for Video Shots.  |
ECCV  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Rita Cucchiara, Costantino Grana, Massimo Piccardi, Andrea Prati |
Detecting Moving Objects, Ghosts, and Shadows in Video Streams.  |
IEEE Trans. Pattern Anal. Mach. Intell.  |
2003 |
DBLP DOI BibTeX RDF |
reactivity to changes, object-level knowledge, video surveillance, color segmentation, Background modeling, shadow detection |
| 2 | Sandro Bartolini, Cosimo Antonio Prete |
An Object Level Transformation Technique to Improve the Performance of Embedded Applications.  |
SCAM  |
2001 |
DBLP DOI BibTeX RDF |
procedure reordering, optimization, cache, program transformation, conflict misses |
| 2 | Yizhou Yu, Andras Ferencz, Jitendra Malik |
Extracting Objects from Range and Radiance Images.  |
IEEE Trans. Vis. Comput. Graph.  |
2001 |
DBLP DOI BibTeX RDF |
Scene editing, object-level representation, augmented reality, image-based rendering, texture-mapping, image registration, image-based modeling, range image segmentation |
| 2 | Mahesh Deshpande, Frank P. Coyle, Jeff Tian |
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation.  |
Ada-Europe  |
2000 |
DBLP DOI BibTeX RDF |
reliability and quality, design patterns, object-oriented software, behavior simulation |
| 2 | Lars Büttner, Jens Gerlach |
Load-balancing and object-orientation: a case study from mesoscale flow modelling.  |
PDP  |
1995 |
DBLP DOI BibTeX RDF |
atmospheric movements, geophysical fluid dynamics, mesoscale flow modelling, atmospheric circulation, object-oriented design techniques, large data parallel applications, object-parallelism, object-oriented environment, parallel operating systems, object level, object-oriented redesign, simulation program, load-balancing, load balancing, parallel processing, parallel programming, parallel computers, object-oriented programming, object-orientation, resource allocation, case study, parallel machines, scientific computing, meteorology, load imbalances |
| 2 | P. L. Tan, Tharam S. Dillon, John Zeleznikow |
Representing Exceptions in Rule-Based Systems.  |
Australian Joint Conference on Artificial Intelligence  |
1988 |
DBLP DOI BibTeX RDF |
object-level rules, meta-level rules, rule model, exceptions |
| 1 | Dan Feng, Junjian Chen, Jingning Liu, Zhikun Wang |
BLESS: Object level encryption security for object-based storage system.  |
Mathematical and Computer Modelling  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wimböck, Christian Ott, Alin Albu-Schäffer, Gerd Hirzinger |
Comparison of object-level grasp controllers for dynamic dexterous manipulation.  |
I. J. Robotic Res.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raja' S. Alomari, Jason J. Corso, Vipin Chaudhary |
Labeling of Lumbar Discs Using Both Pixel- and Object-Level Features With a Two-Level Probabilistic Model.  |
IEEE Trans. Med. Imaging  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Th. Papadopoulos, Carsten Saathoff, Hugo Jair Escalante, Vasileios Mezaris, Ioannis Kompatsiaris, Michael G. Strintzis |
A comparative study of object-level spatial context techniques for semantic image analysis.  |
Computer Vision and Image Understanding  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoying Wang, Yingge Chen |
A Kind of Object Level Measuring Method Based on Image Processing.  |
ICSI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Gamba, Massimiliano Aldrighi |
Land-use mapping using coarse resolution SAR data at the object level exploiting ancillary optical data.  |
IGARSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhifeng Bao, Jiaheng Lu, Tok Wang Ling, Liang Xu, Huayu Wu |
An Effective Object-Level XML Keyword Search.  |
DASFAA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaqian Zhou, Mengjing Jiang, Qi Zhang, Xuanjing Huang, Lide Wu |
Selective recrawling for object-level vertical search.  |
WWW  |
2010 |
DBLP DOI BibTeX RDF |
recrawling, vertical search |
| 1 | Adam Betts, Nicholas Merriam, Guillem Bernat |
Hybrid measurement-based WCET analysis at the source level using object-level traces.  |
WCET  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic |
Using dynamic execution traces and program invariants to enhance behavioral model inference.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
likely invariants, dynamic analysis, specification mining |
| 1 | Changhu Wang, Zhiwei Li, Lei Zhang 0001 |
MindFinder: image search by interactive sketching and tagging.  |
WWW  |
2010 |
DBLP DOI BibTeX RDF |
MindFinder, tagging, sketching, interactive search |
| 1 | Qingda Lu, Jiang Lin, Xiaoning Ding, Zhao Zhang, Xiaodong Zhang, P. Sadayappan |
Soft-OLP: Improving Hardware Cache Performance through Software-Controlled Object-Level Partitioning.  |
PACT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Gammeter, Lukas Bossard, Till Quack, Luc J. Van Gool |
I know what you did last summer: object-level auto-annotation of holiday snaps.  |
ICCV  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Riwal Lefort, Ronan Fablet, Imen Karoui, Jean-Marc Boucher |
Combining image-level and object-level inference for weakly supervised object recognition. Application to fisheries acoustics.  |
ICIP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamir Hassan |
Object-level document analysis of PDF files.  |
ACM Symposium on Document Engineering  |
2009 |
DBLP DOI BibTeX RDF |
document analysis, pdf |
| 1 | Jen-Hao Hsiao, Ming-Syan Chen |
Intention-focused active reranking for image object retrieval.  |
CIKM  |
2009 |
DBLP DOI BibTeX RDF |
image object retrieval, relevance feedback, active learning, generative model, bag of words |
| 1 | Thi-Lan Le, Monique Thonnat, Alain Boucher, François Brémond |
Appearance based retrieval for tracked objects in surveillance videos.  |
CIVR  |
2009 |
DBLP DOI BibTeX RDF |
video retrieval, object matching, surveillance video |
| 1 | Trevor J. M. Bench-Capon, Sanjay Modgil |
Case law in extended argumentation frameworks.  |
ICAIL  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy P. Felty, Alberto Momigliano |
Reasoning with hypothetical judgments and open terms in hybrid.  |
PPDP  |
2009 |
DBLP DOI BibTeX RDF |
name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving |
| 1 | Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks |
Cross-tier, label-based security enforcement for web applications.  |
SIGMOD Conference  |
2009 |
DBLP DOI BibTeX RDF |
database programming, security enforcement, compilers, web applications, type systems |
| 1 | Mahdy Eslamy, S. Ali A. Moosavian |
Control of suspended wheeled mobile robots with multiple arms during object manipulation tasks.  |
ICRA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Parrend |
Enhancing Automated Detection of Vulnerabilities in Java Components.  |
ARES  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emre Baseski, Leon Bodenhagen, Nicolas Pugeault, Sinan Kalkan, Justus H. Piater, Norbert Krüger |
Using 3D contours and their relations for cognitive vision and robotics.  |
ISCIS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu 0003, John Potter, Jingling Xue |
Ownership Downgrading for Ownership Types.  |
APLAS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélio Palaio, Jorge Batista |
Kernel Based Multi-object Tracking Using Gabor Functions Embedded in a Region Covariance Matrix.  |
IbPRIA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Steingrube, Stefan K. Gehrig, Uwe Franke |
Performance Evaluation of Stereo Algorithms for Automotive Applications.  |
ICVS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yimo Tao, Le Lu, Maneesh Dewan, Albert Y. Chen, Jason J. Corso, Jianhua Xuan, Marcos Salganicoff, Arun Krishnan |
Multi-level Ground Glass Nodule Detection and Segmentation in CT Lung Images.  |
MICCAI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Jae Lee, Kristen Grauman |
Foreground Focus: Unsupervised Learning from Partially Matching Images.  |
International Journal of Computer Vision  |
2009 |
DBLP DOI BibTeX RDF |
Feature selection, Object recognition, Unsupervised learning, Feature descriptor |
| 1 | Dov M. Gabbay, Artur S. d'Avila Garcez |
Logical Modes of Attack in Argumentation Networks.  |
Studia Logica  |
2009 |
DBLP DOI BibTeX RDF |
modes of attack, defeasible consequence, argumentation |
| 1 | Karin Griffis, Maja Bystrom |
Object-Level Semantic Change Interpretation for Multi-band Remotely Sensed Imagery.  |
IGARSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Cao, Mike Wan |
The HDF5-iRODS Module: A Data Grid System for Object Level Access.  |
eScience  |
2008 |
DBLP DOI BibTeX RDF |
large/complex data, Distributed, Data Grid, Remote access, HDF5, Client/server model, iROD |
| 1 | Satoshi Oyama, Kenichi Shirasuna, Katsumi Tanaka |
Identification of time-varying objects on the web.  |
JCDL  |
2008 |
DBLP DOI BibTeX RDF |
object-level search, object identification, temporal data |
| 1 | Zhu Li, Yun Fu, Thomas S. Huang, Shuicheng Yan |
Real-time human action recognition by luminance field trajectory analysis.  |
ACM Multimedia  |
2008 |
DBLP DOI BibTeX RDF |
video analysis, human action recognition, video understanding |
| 1 | Jake Porway, Kristy Wang, Benjamin Yao, Song Chun Zhu |
A hierarchical and contextual model for aerial image understanding.  |
CVPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wimböck, Christian Ott, Gerd Hirzinger |
Analysis and experimental evaluation of the Intrinsically Passive Controller (IPC) for multifingered hands.  |
ICRA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Yao, Dan Feng |
Intrusion Detection for Object-Based Storage System.  |
ICYCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Wu, Hamid K. Aghajan, Richard P. Kleihorst |
Real-Time Human Posture Reconstruction in Wireless Smart Camera Networks.  |
IPSN  |
2008 |
DBLP DOI BibTeX RDF |
embedded vision systems, human posture estimation, smart cameras |
| 1 | Andrew R. Cohen, Christopher Bjornsson, Ying Chen, Gary Banker, Ena Ladi, Ellen Robey, Sally Temple, Badrinath Roysam |
Automatic summarization of changes in image sequences using algorithmic information theory.  |
ISBI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Scheffler, Jan P. Springer, Bernd Froehlich |
Object-Capability Security in Virtual Environments.  |
VR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongna Zhou, Xi Chen, Yu-Chia Chung, Zhihai He, Tony X. Han, James M. Keller |
Activity Analysis, Summarization, and Visualization for Indoor Human Activity Monitoring.  |
IEEE Trans. Circuits Syst. Video Techn.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Datong Chen, Qiang Liu, Mingui Sun, Jie Yang 0001 |
Mining Appearance Models Directly From Compressed Video.  |
IEEE Transactions on Multimedia  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Liu, Tsuhan Chen |
DISCOV: A Framework for Discovering Objects in Video.  |
IEEE Transactions on Multimedia  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Minsu Cho, Young Min Shin, Kyoung Mu Lee |
Co-recognition of Image Pairs by Data-Driven Monte Carlo Image Exploration.  |
ECCV  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Li, Ram Nevatia |
Key Object Driven Multi-category Object Recognition, Localization and Tracking Using Spatio-temporal Context.  |
ECCV  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Atif Tahir, Jim E. Smith, Praminda Caleb-Solly |
A Novel Feature Selection Based Semi-supervised Method for Image Classification.  |
ICVS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason J. Corso, Raja' S. Alomari, Vipin Chaudhary |
Lumbar Disc Localization and Labeling with a Probabilistic Model on Both Pixel and Object Features.  |
MICCAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shi Chen, Tao Wang, Jinqiao Wang, Jianguo Li, Yimin Zhang, Hanqing Lu |
A Spatial-Temporal-Scale Registration Approach for Video Copy Detection.  |
PCM  |
2008 |
DBLP DOI BibTeX RDF |
SURF feature, spatial-temporal scale registration, LSH, Video copy detection |
| 1 | David A. Ostrowski |
Meta-analysis for Validation and Strategic Planning.  |
RuleML  |
2008 |
DBLP DOI BibTeX RDF |
metaknowledge, strategic knowledge, common sense knowledge, expert systems, metaheuristics |
| 1 | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of meta-variables.  |
Frontiers of Computer Science in China  |
2008 |
DBLP DOI BibTeX RDF |
meta-variable, context, ?-calculus, logical framework |
| 1 | Rongrong Ji, Hongxun Yao, Dawei Liang |
DRM: dynamic region matching for image retrieval using probabilistic fuzzy matching and boosting feature selection.  |
Signal, Image and Video Processing  |
2008 |
DBLP DOI BibTeX RDF |
Image retrieval, Relevance feedback, AdaBoost, Region matching, Long-term learning |
| 1 | Zaiqing Nie, Ji-Rong Wen, Wei-Ying Ma |
Object-level Vertical Search.  |
CIDR  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Selwyn Justus, K. Iyakutti |
Assessing the Object-level behavioral complexity in Object Relational Databases.  |
SwSTE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Pitts, Mark R. Shinwell |
Generative unbinding of names.  |
POPL  |
2007 |
DBLP DOI BibTeX RDF |
alpha-conversion, meta-programming, abstract syntax, binders |
| 1 | John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve |
Secure virtual architecture: a safe execution environment for commodity operating systems.  |
SOSP  |
2007 |
DBLP DOI BibTeX RDF |
security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language |
| 1 | Sungkil Lee, Gerard Jounghyun Kim, Seungmoon Choi |
Real-time tracking of visually attended objects in interactive virtual environments.  |
VRST  |
2007 |
DBLP DOI BibTeX RDF |
attention tracking, bottom-up feature, top-down context, virtual environment, visual attention, saliency map |
| 1 | Zaiqing Nie, Yunxiao Ma, Shuming Shi, Ji-Rong Wen, Wei-Ying Ma |
Web object retrieval.  |
WWW  |
2007 |
DBLP DOI BibTeX RDF |
information retrieval, information extraction, language model, web objects |
| 1 | Derek Hoiem, Carsten Rother, John M. Winn |
3D LayoutCRF for Multi-View Object Class Recognition and Segmentation.  |
CVPR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Simon, Steven M. Seitz |
A Probabilistic Model for Object Recognition, Segmentation, and Non-Rigid Correspondence.  |
CVPR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Xiao, Xiuping Jia, David Tien |
A Knowledge Based Classification for Urban Mapping Using High Resolution Remote Sensing Data.  |
DICTA  |
2007 |
DBLP DOI BibTeX RDF |
classification, Knowledge based, Object attributes |
| 1 | Thomas Wimböck, Christian Ott, Gerd Hirzinger |
Impedance Behaviors for Two-handed Manipulation: Design and Experiments.  |
ICRA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Anna Zamansky |
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.  |
ISMVL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Misook Choi, Jongsuk Lee |
A Dynamic Coupling for Reusable and Efficient Software System.  |
SERA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
A Logical Framework for Monitoring and Evolving Software Components.  |
TASE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Bazin, Dzung L. Pham |
Topology-Preserving Tissue Classification of Magnetic Resonance Brain Images.  |
IEEE Trans. Med. Imaging  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiwen Yu, Hau-San Wong |
A Rule Based Technique for Extraction of Visual Attention Regions Based on Real-Time Clustering.  |
IEEE Transactions on Multimedia  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Yao, Xiong Yang, Song Chun Zhu |
Introduction to a Large-Scale General Purpose Ground Truth Database: Methodology, Annotation Tool and Benchmarks.  |
EMMCVPR  |
2007 |
DBLP DOI BibTeX RDF |
Ground truth Annotation, Sketch representation, Top-down/Bottom-up Labeling, Benchmark, Image database |
| 1 | Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott |
Reflection, Metalevel Computation, and Strategies.  |
All About Maude  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofeng Tong, Tao Wang, Wenlong Li, Yimin Zhang, Bo Yang, Fei Wang 0001, Lifeng Sun, Shiqiang Yang |
A Three-Level Scheme for Real-Time Ball Tracking.  |
MCAM  |
2007 |
DBLP DOI BibTeX RDF |
Ball tracking, trajectory inference, Kalman filtering, sports video, data association |
| 1 | Artur S. d'Avila Garcez |
Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning.  |
Perspectives of Neural-Symbolic Integration  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Sivic, Frederik Schaffalitzky, Andrew Zisserman |
Object Level Grouping for Video Shots.  |
International Journal of Computer Vision  |
2006 |
DBLP DOI BibTeX RDF |
3D object retrieval in videos, tracking affine covariant regions, independent motion segmentation, robust affine factorization |
| 1 | Ewen Denney, Bernd Fischer 0002 |
A generic annotation inference algorithm for the safety certification of automatically generated code.  |
GPCE  |
2006 |
DBLP DOI BibTeX RDF |
hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation |
| 1 | Fei Yan, Alexey Kostin, William J. Christmas, Josef Kittler |
A Novel Data Association Algorithm for Object Tracking in Clutter with Application to Tennis Video Analysis.  |
CVPR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zaiqing Nie, Fei Wu, Ji-Rong Wen, Wei-Ying Ma |
Extracting Objects from the Web.  |
ICDE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert van Engelen, Madhusudhan Govindaraju, Wei Zhang 0020 |
Exploring Remote Object Coherence in XMLWeb Services.  |
ICWS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Bazin, Dzung L. Pham |
TOADS: topology-preserving, anatomy-driven segmentation.  |
ISBI  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Beckstein, Peter Dittrich, Christian Erfurth, Dietmar Fey, Birgitta König-Ries, Martin Mundhenk, Harald Sack |
SOGOS - A Distributed Meta Level Architecture for the Self-Organizing Grid of Services.  |
MDM  |
2006 |
DBLP DOI BibTeX RDF |
Meta Level Architecture, Trust, Mobile Agents, Planning, Self-Organization, System Dynamics, Semantic Services, Adaptive Grid |
| 1 | Wen Gao |
Sports video analysis.  |
MMM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero P. Bonissone, Raj Subbu, Neil H. W. Eklund, Thomas R. Kiehl |
Evolutionary algorithms + domain knowledge = real-world evolutionary computation.  |
IEEE Trans. Evolutionary Computation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenzhong Chen, Junwei Han, King Ngi Ngan |
Dynamic Bit Allocation for Multiple Video Object Coding.  |
IEEE Transactions on Multimedia  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Ma 0002, Luc Maranget |
Information Hiding in the Join Calculus.  |
ASIAN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun Zhai, Phillip Berkowitz, Andrew Miller, Khurram Shafique, Aniket A. Vartak, Brandyn White, Mubarak Shah |
Multiple Vehicle Tracking in Surveillance Videos.  |
CLEAR  |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 262 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|