|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7401 occurrences of 3716 keywords
|
|
|
Results
Found 14927 publication records. Showing 14927 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Ramakrishnan Venkitaraman, Gopal Gupta 0001 |
Static program analysis of embedded executable assembly code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004, pp. 157-166, 2004, ACM, 1-58113-890-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded software components, executable code, static analysis, abstract interpretation, assembly code |
15 | Fitsum Admasu, Klaus D. Tönnies |
Automatic Method for Correlating Horizons across Faults in 3D Seismic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2004), with CD-ROM, 27 June - 2 July 2004, Washington, DC, USA, pp. 114-119, 2004, IEEE Computer Society, 0-7695-2158-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
seismic image interpretation, model-based analysis, multi-resolution correspondence analysis |
15 | Roberto Giacobazzi, Isabella Mastroeni |
Proving Abstract Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 280-294, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
abstract non-interference, verification, Abstract interpretation, language-based security |
15 | Frank Ditrich, Herbert Süße, Klaus Voss |
Vectorization-Free Reconstruction of 3D CAD Models from Paper Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR (1) ![In: Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Proceedings, Part II, pp. 629-637, 2004, Springer, 3-540-23240-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Drawing Interpretation, CAD, Applications, Recognition, 3D Reconstruction |
15 | Fausto Spoto, Thomas P. Jensen |
Class analyses as abstract interpretations of trace semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(5), pp. 578-630, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Abstract interpretation, denotational semantics, class analysis |
15 | Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels |
Robustness analysis of avionics embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 123-132, 2003, ACM, 1-58113-647-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis |
15 | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival |
A static analyzer for large safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 196-207, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains |
15 | Youssouf Saidali, Sébastien Adam, Jean-Marc Ogier, Éric Trupin, Jacques Labiche |
Knowledge Representation and Acquisition for Engineering Document Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition, Recent Advances and Perspectives, 5th InternationalWorkshop, GREC 2003, Barcelona, Spain, July 30-31, 2003, Revised Selected Papers, pp. 25-37, 2003, Springer, 3-540-22478-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Technical document interpretation, knowledge representation and acquisition, XML, man-machine interaction |
15 | Matthieu Martel |
Static Analysis of the Numerical Stability of Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 133-150, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Relational Analysis, Semantics of Floating-point Numbers, Abstract Interpretation, Numerical Precision |
15 | Antoine Miné |
The Octagon Abstract Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE'01, Stuttgart, Germany, October 2-5, 2001, pp. 310-, 2001, IEEE Computer Society, 0-7695-1303-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools |
15 | Jacob M. Howe, Andy King |
Positive Boolean Functions as Multiheaded Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 120-134, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Boolean functions, interpretation, groundness analysis, (constraint) logic programs |
15 | Lunjin Lu |
Parameterizing a Groundness Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 146-164, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Logic programs, Abstract Interpretation, Groundness Analysis |
15 | Takeyuki Suzuki, Jien Kato, Toyohide Watanabe |
Extraction of Contextual Information Existing among Component Elements of Origami Books. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition Algorithms and Applications, 4th International Workshop, GREC 2001, Kingston, Ontario, Canada, September 7-8, 2001, Selected Papers, pp. 158-166, 2001, Springer, 3-540-44066-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
drawing interpretation, Voronoi diagram, document analysis, origami |
15 | Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey |
Incremental analysis of constraint logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(2), pp. 187-223, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, constraint logic programming, incremental computation |
15 | Julio Mariño, Juan José Moreno-Navarro |
Using Static Analysis to Compile Non-sequential Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, pp. 63-80, 2000, Springer, 3-540-66992-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Interpretation, Sequentiality, Functional Logic Programming |
15 | Hui Shao, Liyuan Li, Ping Xiao, Maylor K. H. Leung |
ELEVIEW: An Active Elevator Video Surveillance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Human Motion ![In: Workshop on Human Motion, HUMO 2000, Austin, Texas, USA, December 7-8, 2000, Proceedings, pp. 67-72, 2000, IEEE Computer Society, 0-7695-0939-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ELEVIEW, active elevator video surveillance system, automated scene interpretation system, scenario classification, image segmentation, image segmentation, surveillance, active vision, lifts, alarm, crime |
15 | Jacob M. Howe, Andy King |
Implementing Groundness Analysis with Definite Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 200-214, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs |
15 | Jan Gustafsson |
Eliminating annotations by automatic flow analysis of real-time programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 511-516, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
automatic flow analysis, path information, safe approximation, calculation cost, exact information, intractable problem, nontrivial programs, real-time systems, annotations, abstract interpretation, worst case execution time, WCET, automatic programming, program diagnostics, real time programs, infeasible paths |
15 | John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi |
Extending Java for Package based Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 67-76, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation |
15 | Wendy Martin |
The social and cultural shaping of educational technology: Toward a social constructivist framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 13(4), pp. 402-420, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Education, Computers, Cultural, Interpretation, Technology, Constructivism, Social |
15 | Stefan Pittner, Sagar V. Kamarthi |
Feature Extraction From Wavelet Coefficients for Pattern Recognition Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 21(1), pp. 83-88, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
fast wavelet transform, signal interpretation, Feature extraction |
15 | Guy Lorette |
Handwriting recognition or reading? What is the situation at the dawn of the 3rd millenium? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 2(1), pp. 2-12, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Perception, Recognition, Interpretation, Reading, Handwriting |
15 | Adelheit Stein, Jon Atle Gulla, Ulrich Thiel |
User-Tailored Planning of Mixed Initiative Information-Seeking Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 9(1-2), pp. 133-166, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Conversational retrieval, dialogue planning, dialogue act interpretation, abduction, mixed initiative |
15 | Gabriella Kókai, Zoltán Tóth, Róbert Ványi |
Modelling Blood Vessels of the Eye with Parametric L-Systems Using Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMDM ![In: Artificial Intelligence in Medicine. Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 1999, Proceedings, pp. 433-442, 1999, Springer, 3-540-66162-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
image and signal interpretation, Computer vision, evolutionary algorithms |
15 | Andy King, Jan-Georg Smaus, Patricia M. Hill |
Quotienting Share for Dependency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 59-73, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs |
15 | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
Decomposing Non-redundant Sharing by Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 69-84, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis |
15 | Patricia M. Hill, Fausto Spoto |
Freeness Analysis Through Linear Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 85-100, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain |
15 | Michael Dahlin |
Interpreting Stale Load Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 285-296, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
load interpretation, distributed systems, load balancing, queueing models, communication delays |
15 | J. Michael Ashley, R. Kent Dybvig |
A Practical and Flexible Flow Analysis for Higher-Order Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(4), pp. 845-868, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
abstract interpretation, higher-order languages |
15 | Akira Maeda, Koji Wakimoto, Hiroto Nagahisa, Itsuji Nakamura |
An interactive tool for recognizing structured figures with variable shapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 11(1), pp. 24-36, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Facility management system, Facility map, Map processing, Line- drawing interpretation, Map recognition |
15 | Giorgio Levi, Fausto Spoto |
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 152-169, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, Abstract interpretation, abstract domain, type analysis |
15 | Francesca Levi |
A Symbolic Semantics for Abstract Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 134-151, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Model checking, abstract interpretation, ?-calculus |
15 | Deepak Goyal, Robert Paige |
A New Solution to the Hidden Copy Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 327-348, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Copy Optimization, Big Step Operational Semantics, Must Alias Analysis, Abstract Interpretation |
15 | Maria Handjieva, Stanislav Tzolovski |
Refining Static Analyses by Trace-Based Partitioning Using Control Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 200-214, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
reduced cardinal power, abstract interpretation, trace semantics |
15 | François Fages, Roberta Gori |
Analysis of Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 82-98, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, interpretation, constructive negation |
15 | Ulrike Lechner |
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 171-187, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly |
15 | Soo-Chul Han, John W. Woods |
Frame-Rate Up-Conversion Using Transmitted Motion and Segmentation Fields for Very Low Bit-Rate Video Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 747-750, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
segmentation fields, very low bit-rate video coding, motion-compensated interpolation scheme, skipped frames recovery, object-based interpretation, block-based methods, VLBR coding, up-sampling method, video coding, simulation results, motion fields, reconstruction quality, frame-rate up-conversion |
15 | Nozha Boujemaa, Gilbert Roux, Jean Pierre Asselin de Beauville, B. Vattolo |
Soft primitive extraction on handwritten digits ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 296-299, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
soft primitive extraction, automatic bank cheques interpretation, noise quantization pixels, digits meaning, robust fuzzy clustering techniques, soft feature extraction, soft feature representation, numerical value, segmentation, handwriting recognition, curve fitting, handwritten digits recognition, uncertainty modeling, digits shape |
15 | Hairong Qi 0001, Wesley E. Snyder, Griff L. Bilbro |
Using mean field annealing to solve anisotropic diffusion problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 352-355, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
anisotropic diffusion problems solution, nonlinear diffusion equation, image optimization, blurred image, noisy corrupted image, feature extraction, experiments, white noise, mean field annealing, geometric interpretation, image feature extraction |
15 | John P. Kaufhold, Michael K. Schneider, William Clement Karl, Alan S. Willsky |
A Recursive Estimation Approach to the Segmentation of MR Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 506-509, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
MR imagery segmentation, clinical tool, homogeneous regions, gray matter, cerebro spinal fluid, brain features, estimation-theoretic interpretation, computationally efficient technique, statistically based recursive technique, variational segmentation method, Kalman filter, magnetic resonance imaging, biomedical NMR, recursive estimation, uncertainty measures, research tool, white matter, human brain |
15 | Alexandre Winter, Henri Maître, Nicole Cambou, Eric Legrand |
An Original Multi-Sensor Approach to Scale-Based Image Analysis for Aerial and Satellite Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 234-237, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
original multi-sensor approach, scale-based image analysis, automatic low-level interpretation, entropic scale detector, remote sensing scenes, image processing, object detection, satellite images, aerial images |
15 | Ross Paterson |
Transforming Lazy Functions Using Comportment Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 111-125, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, automatic program transformation |
15 | Vassil S. Dimitrov, Graham A. Jullien, William C. Miller |
Theory and applications for a double-base number system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA, pp. 44-, 1997, IEEE Computer Society, 0-8186-7846-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation |
15 | Matjaz Kukar, Ciril Groselj, Igor Kononenko 0001, Jure Fettich |
An application of machine learning in the diagnosis of ischaemic heart disease. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, pp. 70-75, 1997, IEEE Computer Society, 0-8186-7928-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ischaemic heart disease diagnosis, controlled exercise, myocardial scintigraphy, coronary angiography, objective interpretation, diagnostic accuracy, misclassification costs, machine learning, classification, experiments, sensitivity, ECG, electrocardiogram, dataset, patient, medical expert system, electrocardiography, mortality |
15 | Ing-Ray Chen, Tsong-Min Chen, Chiang Lee |
Performance characterization of forwarding strategies in personal communication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 137-142, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
forwarding strategies, PCS mobile network, forwarding operation, resetting operation, database boundary, service rate, hexagonal coverage models, physical interpretation, Markov chain, mobile user, personal communication networks, personal communication networks, performance characterization |
15 | Michel Leclère |
Reasoning with Type Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 401-415, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
type definitions, atomic form, logical interpretation, projection, contraction, expansion |
15 | Rafael Ramírez 0001 |
A logical approach for specification and execution of concurrent real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 182-185, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements |
15 | Hanan Samet, Aya Soffer |
MARCO: MAp Retrieval by COntent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(8), pp. 783-798, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Map storage and retrieval, document storage, automated indexing, retrieval by content, map interpretation, digital libraries, Geographic Information Systems (GIS) |
15 | Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens |
Global Analysis of Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(5), pp. 564-614, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
global program analysis, program analysis, abstract interpretation, constraint logic programming |
15 | Paolo Volpe |
Abstractions of Uniform Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 224-237, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
uniform proofs, inference rule systems, abstract interpretation |
15 | Dominique Boucher, Marc Feeley |
Abstract Compilation: A New Implementation Paradigm for Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 192-207, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis |
15 | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla |
Global Analysis of Standard Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 108-124, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Optimization, Logic Programming, Abstract Interpretation |
15 | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo |
Improving Abstract Interpretations by Combining Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 28-44, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
logic programming, program analysis, abstract interpretation |
15 | Martin Jägersand |
Saliency Maps and Attention Selection in Scale and Spatial Coordinates: An Information Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 195-202, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
attention selection, scale coordinates, spatial coordinates, information measures, object spatial locations, object scales, man-made scene, scale space based measure, Kullback contrasts, successive resolution lengths, differential information gain, characteristic lengths, early vision processing, computer vision, image processing, information theory, image interpretation, saliency maps, information content, real world images, information theoretic approach |
15 | David Coombs, Martin Herman, Tsai-Hong Hong, Marilyn Nashman |
Real-Time Obstacle Avoidance Using Central Flow Divergence and Peripheral Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 276-283, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time obstacle avoidance, central flow divergence, peripheral flow, flow features, robot mobility, real-time image flow estimates, reduced camera rotation, real-time image flow divergence estimates, robot steering, conceptual corridor, right peripheral flows, left peripheral flows, impending collisions, dead ends, wandering, flow-based information, 2D image sequence, active mechanical gate stabilization, visual interpretation problems, real-time systems, mobile robots, image sequences, path planning, active vision, robot vision, cues, space perception, motion vision |
15 | Rohini K. Srihari |
Combining text and image information in content-based retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 326-329, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
text information, photographic information, integrated text/image database environment, image interpretation system, automatically indexing images, multi-stage system, PICTION, human face identification, information retrieval, face recognition, image recognition, queries, content-based retrieval, visual databases, object identification, captions, image information |
15 | Benoît Simon |
Explicit link between local fractal transform and multiresolution transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 278-281, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiresolution transform, local fractal transform, self similarity relationships, spatial transformations, shrinking, orthogonal multiresolution, multiresolution decomposition space, high frequency coefficients interpolation, low pass information, multiresolution decomposition coefficients, parameter estimation, image coding, image coding, interpretation, translation, scaling, fractals, image resolution, transform coding, fractal coding, isometries |
15 | Hassan Shekarforoush, Marc Berthod, Josiane Zerubia |
3D super-resolution using generalized sampling expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 300-303, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
probabilistic interpretation, generalized sampling expansion, 3D superresolution algorithm, generalized sampling theorem, Lambertian surface, height map, high resolution information, Markov random fields, image reconstruction, image reconstruction, Markov processes, Bayes methods, image resolution, image resolution, random processes, image sampling, Bayesian framework, low resolution images |
15 | John G. Apostolopoulos, Jae S. Lim |
Representing arbitrarily-shaped regions: a case study of overcomplete representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 426-429, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
arbitrarily-shaped regions, overcomplete representations, image/video compression, O(N log/sub 2/ N)-type processing, low memory requirement, linear combination of vectors, superset basis, image segmentation, data compression, image coding, image representation, quantization, video signal processing, vector quantisation, geometric interpretation |
15 | Yann Hodé, Aline Deruyver, B. Bendriem, Nora D. Volkow |
Temporal image fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 472-475, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
dynamic image analysis, temporal image fusion, recursive segmentation, human brain images, automatic region of interest detection, kinetic image, PET images, image segmentation, medical image processing, brain, positron emission tomography, image interpretation, medical diagnostic imaging, set operations, nuclear medicine |
15 | Radomir S. Stankovic |
Functional Decision Diagrams for Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 284-289, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
functional decision diagrams, uniform interpretation, binary switching functions, MV functions, Reed-Muller-Fourier representations, Reed-Muller-Fourier coefficients, decision theory, multivalued logic, Galois fields, Galois field, switching functions, multiple valued functions, multiple-valued functions |
15 | Paolo Bottoni, Maria Francesca Costabile, Stefano Levialdi, Piero Mussio |
Formalising Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 45-, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
visual language formalisation, visual human-computer communication, full screen image management, icon interpretation handling, diverse tasks, computational meaning, visual sentence, interpreted image, user-computer dialogue, ambiguity control, pattern recognition, pattern recognition, graphical user interfaces, computer graphics, visual languages, visual language, users, multiple representations, image generation, computer displays, computer display, visual reasoning |
15 | Scott A. Moore |
A communication framework for applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 330-341, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
communication framework, recursively defined language, message interpretation scheme, discourse management information, general planning language, automated message management, Petri nets, Petri nets, applications, formal languages, speech act theory, electronic messaging |
15 | Jochen Albrecht |
Virtual Geographic Information System (VGIS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 141-152, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Virtual Geographic Information System, automatic interpretation, abstracted data, technical information hiding, elemental building blocks, user interfaces, image processing, image processing, database, geographic information systems, knowledge based systems, interface, implementation, knowledge base, remote sensing, deductive databases, structural design, remotely sensed images, data encapsulation, user tasks |
15 | Grace Masaki, Joseph Walls, John Stockman |
Hypermedia EIS and the World Wide Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 140-151, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
hypermedia executive information systems, environmental intelligence, information collection, information interpretation, relevant information, strategic intelligence, internal environment, external environment, artificial intelligence technologies, managerial vigilance, Internet, World Wide Web, artificial intelligence, hypermedia, business intelligence, management information systems, strategic planning, reconnaissance, timely information, strategic decision-making, business environment |
15 | Hanan Samet, Aya Soffer |
A map acquisition, storage, indexing, and retrieval system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 992-996, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
map acquisition, map storage, map indexing, map retrieval system, raster images, map composites, legend driven map interpretation system, user interface, query processing, query processing, relational database management system, query execution |
15 | Edward Cohen, Jonathan J. Hull, Sargur N. Srihari |
Control Structure for Interpreting Handwritten Addresses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(10), pp. 1049-1055, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
postal services, character recognition equipment, intelligent handwritten address interpretation system, grey-level address image, syntactic categories, dynamically generated lexicons, destination code, postal directories, knowledge based systems, control structure |
15 | Michael Codish, Moreno Falaschi, Kim Marriott |
Suspension Analyses for Concurrent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 649-686, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, concurrent logic programming |
15 | Peter T. Breuer, Jonathan P. Bowen |
Decompilation: The Enumeration of Types and Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(5), pp. 1613-1647, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
list comprehension, reverse engineering, logic programming, functional programming, abstract interpretation, attribute grammar, decompilation |
15 | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
Live-Structure Dataflow Analysis for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(2), pp. 205-258, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness |
15 | Edmund M. Clarke, Orna Grumberg, David E. Long |
Model Checking and Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(5), pp. 1512-1542, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, abstract interpretation, binary decision diagrams (BDDs) |
15 | Li-Ling Chen, Williams Ludwell Harrison III |
An efficient approach to computing fixpoints for complex program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, pp. 98-106, 1994, ACM, 0-89791-665-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
fixpoint computation, program analysis, abstract interpretation, optimizing compilers |
15 | Kim Marriott, Harald Søndergaard |
Precise and Efficient Groundness Analysis for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 181-196, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
abstract interpretation, propositional logic, condensation, groundness analysis |
15 | Moisés Goldszmidt, Paul H. Morris, Judea Pearl |
A Maximum Entropy Approach to Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 220-232, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
abnormality minimisation, infinitesimal probabilities, probabilistic interpretation, conditional knowledge base, conditional interpretations, knowledge based systems, inference, maximum entropy, nonmonotonic reasoning, nonmonotonic reasoning, probabilistic logic |
15 | David W. Eggert, Kevin W. Bowyer |
Computing the Perspective Projection Aspect Graph of Solids of Revolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(2), pp. 109-128, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
3D viewpoint space, perspective projection aspect graph, solids of revolution, curved-surface objects, exact parcellation, visual events, object descriptions, computer vision, graph theory, image recognition, aspect graph, worst-case complexity, geometric interpretation |
15 | Floriana Esposito, Donato Malerba, Giovanni Semeraro |
Classification in Noisy Environments Using a Distance Measure Between Structural Symbolic Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(3), pp. 390-402, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
attribute spaces, structural symbolic descriptions, probabilistic interpretation, matching predicate, top-down evaluation, feature value, pattern model, structure spaces, layout-based document recognition, classification, pattern recognition, pattern recognition, probability, learning systems, learning systems, distance measure, noisy environments |
15 | Takeshi Shakunaga |
3-D Corridor Modeling from a Single View Under Natural Lighting Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(2), pp. 293-298, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
3D indoor scene modelling, 3D corridor scene, single view analysis, generic object model, rectangular parallelepiped, bottom-up image processing, model-based interpretation, pattern recognition, pattern recognition, computer vision, computer vision, picture processing, camera |
15 | Yuan C. Hsieh, David M. McKeown, Frederic P. Perlant |
Performance Evaluation of Scene Registration and Stereo Matching for Artographic Feature Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(2), pp. 214-238, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
3D scene interpretation, area based matching, cartographic feature extraction, automatic scene registration, S1, S2, feature-based matching, hierarchical waveform matching, scene recovery, building disparity estimate, scene reference models, pattern recognition, computer vision, computerised pattern recognition, SPAM, remote sensing, remote sensing, stereo matching, cartography, sharpness |
15 | Joseph H. Nurre, Ernest L. Hall |
Positioning Quadric Surfaces in all Active Stereo Imaging System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(5), pp. 491-495, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
quadric surface location, moire fringes, active stereo imaging system, stereo pinhole cameras, projected fringe pattern, fringe interpretation, moire fringes, pattern recognition, pattern recognition, picture processing, encoding, encoding, machine vision |
15 | Sukhan Lee 0001, Hernsoo Hahn |
An Optimal Sensing Strategy for Recognition and Localization of 3D Natural Quadric Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(10), pp. 1018-1037, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
optimal sensing strategy, 3D natural quadric objects, optical proximity sensor system, optimal beam orientation, optimal probing plane, multiple interpretation image, surface description vector distribution graph, hierarchical tables, object recognition, computerised picture processing, computerised pattern recognition, object localization, spatial variables measurement |
15 | Shahriar Negahdaripour |
Multiple Interpretations of the Shape and Motion of Objects from Two Perspective Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(11), pp. 1025-1039, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
perspective images, position coordinates, hyperboloids of one sheet, hyperbolic paraboloids, circular cylinders, intersecting planes, pattern recognition, picture processing, ambiguity, shape recovery, image interpretation, coordinate transformation, motion recovery |
15 | Veroniek Dumortier, Maurice Bruynooghe |
On the Automatic Generation of Events in Delta Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 324-339, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Delta Prolog, distributed Prolog, abstract interpretation |
15 | Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu |
A Visual Language Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 506-525, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
visual language compiler, SIL-ICON compiler, icon-oriented systems, icon system, G, icon dictionary, operator dictionary, extended task action grammar, ETAG, text editor, Heidelberg icon set, user interfaces, specification, computer graphics, prototyping, generation, system design, interpretation, program compilers, software system, OD, ID |
15 | Yao-Chou Cheng, Shin-Yee Lu |
The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(4), pp. 439-447, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
binary consistency checking, seismic horizon detection, loop tying, seismic interpretation, computerised pattern recognition, skeletonization, seismology, geophysics computing |
15 | Jyrki Katajainen, Christos Levcopoulos, Ola Petersson |
Local Insertion Sort Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optimal Algorithms ![In: Optimal Algorithms, International Symposium, Varna, Bulgaria, May 29 - June 2, 1989, Proceedings, pp. 239-253, 1989, Springer, 3-540-51859-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
presortedness, local insertion sort, finger search trees, measures, sorting algorithm, geometric interpretation |
15 | Jean-Marc David, Jean-Paul Krivine, Jean-Pierre Tiarri, Benoît Ricard |
DIVA: Recognition of typical situations for turbine generator diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 1(3), pp. 287-298, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prototypical knowledge, heuristic classification, vibration-based monitoring, diagnosis, interpretation |
15 | Jan A. Mulder, Alan K. Mackworth, William S. Havens |
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(6), pp. 866-879, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Mapsee approach, map interpretation programs, schema-based representation, hierarchical arc-consistency algorithm, discrimination graphs, computer vision, computer vision, knowledge representation, graph theory, computerised pattern recognition, computerized pattern recognition, visual knowledge |
12 | Ana-Maria Popescu, Patrick Pantel, Gilad Mishne |
Semantic lexicon adaptation for use in query interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1167-1168, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
lexicon adaptation, word sense disambiguation |
12 | Ganesh Agarwal, Govind Kabra, Kevin Chen-Chuan Chang |
Towards rich query interpretation: walking back and forth for mining query templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1-10, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
query attributes, query templates, query intents, search log mining |
12 | Boris W. van Schooten, Elisabeth M. A. G. van Dijk, Elena V. Zudilova-Seinstra, Avan Suinesiaputra, Johan H. C. Reiber |
The effect of stereoscopy and motion cues on 3D interpretation task performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI 2010, Roma, Italy, May 26-28, 2010, pp. 167-170, 2010, ACM Press, 978-1-4503-0076-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
motion cue, graphics, medical visualization, stereoscopy, angiography |
12 | Pui-Yu Hui, Helen M. Meng |
Cross-Modality Semantic Integration With Hypothesis Rescoring for Robust Interpretation of Multimodal User Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 17(3), pp. 486-500, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Gianluca Amato, Francesca Scozzari |
Observational Completeness on Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 99-112, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu |
Automatic Construction of Complete Abstraction by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 927-932, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Miriam Baglioni, José Antônio Fernandes de Macêdo, Chiara Renso, Roberto Trasarti, Monica Wachowicz |
Towards Semantic Interpretation of Movement Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE Conf. ![In: Advances in GIScience, Proceedings of the 12th AGILE Conference, Hannover, Germany, 2-5 June 2009, pp. 271-288, 2009, Springer, 978-3-642-00317-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Matjaz Kukar, Luka Sajn |
Improving Probabilistic Interpretation of Medical Diagnoses with Multi-resolution Image Parameterization: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 136-145, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Zhongsheng Cao, Zhewen Su, Yuanzhen Wang |
Interpretation of Ambiguous Zone in Handwritten Chinese Character Images Using Bayesian Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III, pp. 380-389, 2009, Springer, 978-3-642-01512-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Handwritten Chinese character, Ambiguous zone, Bayesian network, Handwriting recognition, Stroke extraction |
12 | Fabio Valle |
Satellite Broadband Revolution: How Latest Ka-Band Systems Will Change the Rules of the Industry. An Interpretation of the Technological Trajectory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSATS ![In: Personal Satellite Services, International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers, pp. 49-60, 2009, Springer, 978-3-642-04259-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Broadband satellite technology, Technical change, Ka-band and emerging frequency bands, Technological trajectory, Value Added Services, Technological Innovation |
12 | David A. Schmidt |
Abstract Interpretation from a Topological Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 293-308, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Lidia Ogiela, Marek R. Ogiela, Ryszard Tadeusiewicz |
UBIAS - Type Cognitive Systems for Medical Pattern Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I, pp. 177-183, 2009, Springer, 978-3-642-04594-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reasoning processes and analysis of medical images, UBIAS systems, information systems, pattern classification, Cognitive informatics |
12 | Nicholas Kong, Maneesh Agrawala |
Perceptual interpretation of ink annotations on line charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, Victoria, BC, Canada, October 4-7, 2009, pp. 233-236, 2009, ACM, 978-1-60558-745-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
freeform ink annotation, line charts, visualization, selection, visual perception, pointing, deixis |
|
|