Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Jean Ponce, Olivier D. Faugeras |
An object centered hierarchical representation for 3D objects: The prism tree. |
Comput. Vis. Graph. Image Process. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Jadzia Cendrowska |
PRISM: An Algorithm for Inducing Modular Rules. |
Int. J. Man Mach. Stud. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Michael P. Barnett |
A simple mechanism that supports the prism language. |
ACM SIGPLAN Notices |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Michael P. Barnett |
The primitive string manipulation (PRISM) language. |
ACM SIGPLAN Notices |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Azriel Rosenfeld |
The prism machine: An alternative to the pyramid. |
J. Parallel Distributed Comput. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Doug Rosenberg |
PRISM - Productivity Improvement for Software Engineers and Managers. |
ICSE |
1985 |
DBLP BibTeX RDF |
|
16 | Simon Kasif, Madhur Kohli, Jack Minker |
PRISM - A Parallel Inference System for Problem Solving. |
Logic Programming Workshop |
1983 |
DBLP BibTeX RDF |
|
16 | Olivier D. Faugeras, Jean Ponce |
Prism Trees: A Hierarchical Representation for 3-D Objects. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
16 | Simon Kasif, Madhur Kohli, Jack Minker |
PRISM: A Parallel Inference System for Problem Solving. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
16 | W. Randolph Franklin, Harry R. Lewis |
3-D graphic display of discrete spatial data by prism maps. |
SIGGRAPH |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard Ringel |
On the genus of the graph Kn × K2 or the n-prism. |
Discret. Math. |
1977 |
DBLP DOI BibTeX RDF |
|
12 | Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink |
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. |
Trans. Comp. Sys. Biology |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Ansgar Fehnker, Matthias Fruth, Annabelle McIver |
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
lossy communication channels, simulation, wireless networks, Graphical modelling, probabilistic model checking |
12 | Takahiro Inoue, Shinichi Hirai |
Parallel-distributed model in three-dimensional soft-fingered grasping and manipulation. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Matteo Casadei, Mirko Viroli |
Using probabilistic model checking and simulation for designing self-organizing systems. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
collective sort, self-organization, stochastic simulation, probabilistic model checking |
12 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Probabilistic Failure Propagation and Transformation Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
failure, probabilistic analysis, component-based system, safety analysis |
12 | Shlomi Dolev, Yuval Nir |
Optical Designs for Non-deterministic Turing Machines. |
OSC |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski |
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Fenareti Lampathaki, Sotirios Koussouris, George Gionis, Yannis Charalabidis, Dimitris Askounis |
Cross-Dimensional Modelling Patterns to Empower Pan-European Business to Government Services Interoperability. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
Legal Rules, Pan-European Business to Government Services, Interoperability, Data Modelling, Enterprise Modelling |
12 | Indranil Saha, Debapriyay Mukhopadhyay |
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking. |
ICISS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Henning Christiansen 0001, John P. Gallagher |
Non-discriminating Arguments and Their Uses. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Henning Christiansen 0001, Ole Torp Lassen |
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Luc De Raedt |
Probabilistic Logic Learning - A Tutorial Abstract. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning |
12 | Farhad Arbab, Sun Meng, Young-Joo Moon 0001, Marta Z. Kwiatkowska, Hongyang Qu 0001 |
Reo2MC: a tool chain for performance analysis of coordination models. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, markov chain, coordination model, reo |
12 | Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink |
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. |
EICS |
2009 |
DBLP DOI BibTeX RDF |
performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches |
12 | Todor G. Georgiev, Andrew Lumsdaine |
Theory and methods of lightfield photography. |
SIGGRAPH ASIA Courses |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Abstraction Refinement for Probabilistic Software. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Alexandra Barchunova, Gerald Sommer |
Recognition of Simple 3D Geometrical Objects under Partial Occlusion. |
CAIP |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Christos Bouras, Vassilis Poulopoulos, Panagiotis Silintziris |
Personalized News Search in WWW: Adapting on User's Behavior. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Using probabilistic model checking in systems biology. |
SIGMETRICS Perform. Evaluation Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Augustus J. E. M. Janssen, Johan van Leeuwaarden, Bert Zwart |
Corrected asymptotics for a multi-server queue in the Halfin-Whitt regime. |
Queueing Syst. Theory Appl. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 11M06, 30B40, 60G50, 60G51, 65B15 |
12 | Jianzhong Chen, Stephen H. Muggleton, José Carlos Almeida Santos |
Learning probabilistic logic models from probabilistic examples. |
Mach. Learn. |
2008 |
DBLP DOI BibTeX RDF |
Probabilistic inductive logic programming, Stochastic logic programs, Probabilistic examples, Abduction |
12 | Dusko Jojic |
Weighted Derivations and the cd -Index. |
Discret. Comput. Geom. |
2008 |
DBLP DOI BibTeX RDF |
ab-index, cd-index, Eulerian posets, Simplicial poset, h-vector, Barycentric subdivisions |
12 | Jonas Elmqvist, Simin Nadjm-Tehrani |
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Anu Singh, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong |
A methodology for in-network evaluation of integrated logical-statistical models. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
in-network analysis, logical-statistical models, sensor networks |
12 | Nick D. L. Owens, Jon Timmis, Andrew J. Greensted, Andy M. Tyrrell |
Modelling the Tunability of Early T Cell Signalling Events. |
ICARIS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Pritam Roy, David Parker 0001, Gethin Norman, Luca de Alfaro |
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Athanasios Drigas, Dimitris Kouremenos, John Vrettaros |
Teaching of English to Hearing Impaired Individuals Whose Mother Language Is the Sign Language. |
WSKS (1) |
2008 |
DBLP DOI BibTeX RDF |
deaf and hearing impaired, E-learning, expert system, taxonomy, sign language, videoconference |
12 | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou 0001 |
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
security, model checking, Denial of Service |
12 | Wook-Hee Min, Eok-Soo Shim, Yeo-Jin Kim, Yun-Gyung Cheong |
Planning-integrated story graph for interactive narratives. |
SRMC |
2008 |
DBLP DOI BibTeX RDF |
interactive content structure, interactive narrative platform, interactive narrative representation, story structure |
12 | Song Xu, Bo Zhang, Lin Zhang 0013, Yu Liu 0001 |
A fast and reliable decoding scheme with prior-hash bits in distributed video coding. |
Mobility Conference |
2008 |
DBLP DOI BibTeX RDF |
distributed video coding, LDPC, wyner-ziv coding |
12 | Manfred Jaeger |
Model-Theoretic Expressivity Analysis. |
Probabilistic Inductive Logic Programming |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Davide Prandi, Paola Quaglia, Nicola Zannone |
Formal Analysis of BPMN Via a Translation into COWS. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink |
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang 0001 |
An Experimental Evaluation of Probabilistic Simulation. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Juan Huo, Alan F. Murray, Leslie S. Smith, Zhijun Yang |
Adaptation of barn owl localization system with spike timing dependent plasticity. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Shih-Chun Tu, Chun-Yen Huang, Wen-Kai Tai |
Terrain Synthesis Based on Microscopic Terrain Feature. |
Edutainment |
2008 |
DBLP DOI BibTeX RDF |
Terrain Synthesis, Terrain Primitive, Terrain Modeling |
12 | Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne |
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ivy H. Tseng, Antonio Ortega |
Rate-Distortion Analysis and Bit Allocation Strategy for Motion Estimation at the Decoder using Maximum Likelihood Technique in Distributed Video Coding. |
ICIP (2) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Davide Prandi, Paola Quaglia |
Stochastic COWS. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Ramakrishna Gummadi, David Wetherall, Ben Greenstein, Srinivasan Seshan |
Understanding and mitigating the impact of RF interference on 802.11 networks. |
SIGCOMM |
2007 |
DBLP DOI BibTeX RDF |
RF interference, channel hopping, 802.11, jamming, SINR |
12 | Marta Z. Kwiatkowska |
Quantitative verification: models techniques and tools. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
probabilistic temporal logics, quantitative model checking, Markov models, probabilistic model checking |
12 | Marenglen Biba, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro |
Multi-class Protein Fold Recognition Through a Symbolic-Statistical Framework. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Qiwei Liu, Houqiang Li, Yan Lu 0001, Feng Wu 0001 |
Distributed Video Coding with Trellis Coded Quantization. |
MMM (2) |
2007 |
DBLP DOI BibTeX RDF |
Distributed Video Coding, Wyner-Ziv coding, Trellis Coded Quantization |
12 | Wenqi Zhao, Guoliang Xu, Chandrajit L. Bajaj |
An algebraic spline model of molecular surfaces. |
Symposium on Solid and Physical Modeling |
2007 |
DBLP DOI BibTeX RDF |
Bernstein-Bezier basis, energetics, polynomial splines, prismatic scaffolds, solvation, error bounds, rate of convergence, molecular surfaces |
12 | Joost-Pieter Katoen |
Abstraction of Probabilistic Systems. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | George Edwards, Chiyoung Seo, Daniel Popescu 0001, Sam Malek, Nenad Medvidovic |
Self-* software architectures and component middleware in pervasive environments. |
MPAC |
2007 |
DBLP DOI BibTeX RDF |
software architecture, middleware, self-adapting systems |
12 | Francesco Bernardini, Marian Gheorghe 0001, Francisco José Romero-Campero, Neil Walkinshaw |
A Hybrid Approach to Modeling Biological Systems. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Muffy Calder, Vladislav Vyshemirsky, David R. Gilbert, Richard J. Orton |
Analysis of Signalling Pathways Using Continuous Time Markov Chains. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
A formal analysis of bluetooth device discovery. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
Formal verification, Bluetooth, Probabilistic model checking |
12 | Denis Cornaz |
A linear programming formulation for the maximum complete multipartite subgraph problem. |
Math. Program. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991) 05C15, 90C09 |
12 | Dominik Schultes |
Rainbow Sort: Sorting at the Speed of Light. |
Nat. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Heisenberg uncertainty principle, sorting, dispersion, natural computing, refraction |
12 | Ansgar Fehnker, Peng Gao |
Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. |
ADHOC-NOW |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Joost-Pieter Katoen, Ivan S. Zapreev |
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Fruth |
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Stamos T. Karamouzis |
The Use of Psychophysiological Measures for Designing Adaptive Learning Systems. |
AIAI |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Yanbing Wang, Lixin Wu, Wenzhong Shi, Xiaojuan Li |
3D Integral Modeling for City Surface & Subsurface. |
3D-GIS |
2006 |
DBLP DOI BibTeX RDF |
3D spatial model, GTP, objected oriented, integral modeling, seamless, digital city |
12 | Liam M. Mayron, Oge Marques, Gustavo B. Borba, Humberto R. Gamba, Vladimir Nedovic |
A Forward-Looking User Interface for CBIR and CFIR Systems. |
ISM |
2006 |
DBLP DOI BibTeX RDF |
|
12 | John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Oksana Tymchyshyn |
Probabilistic Model Checking of Complex Biological Pathways. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Henry Markram |
Biology - The blue brain project. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Husain Aljazzar, Stefan Leue |
Extended Directed Search for Probabilistic Timed Reachability. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | |
Tools and Products. |
IEEE Computer Graphics and Applications |
2005 |
DBLP DOI BibTeX RDF |
tools, products, book |
12 | Kenji Tanaka, Susumu Tachi |
TORNADO: Omnistereo Video Imaging with Rotating Optics. |
IEEE Trans. Vis. Comput. Graph. |
2005 |
DBLP DOI BibTeX RDF |
Virtual reality, computer vision, image processing, 3D/stereo scene analysis |
12 | Marco Tagliasacchi, Stefano Tubaro, Augusto Sarti |
Combining MCTF with distributed source coding. |
ICIP (1) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Luc De Raedt |
Statistical Relational Learning: An Inductive Logic Programming Perspective. |
PKDD |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Amitabha Roy 0002, K. Gopinath |
Improved Probabilistic Models for 802.11 Protocol Verification. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Fuzhi Wang, Marta Z. Kwiatkowska |
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Susan A. Vowels |
DIY-IT: an empirical study of website development staffing by non-profit organizations. |
CPR |
2005 |
DBLP DOI BibTeX RDF |
DIY-IT, IT productivity, IT staffing, do-it-yourself, non-profit, IT workforce, IT professionals, IT careers, IS professionals, small business, IT profession, volunteer, IS careers |
12 | Denise Fukumi Tsunoda, Heitor Silvério Lopes, Alex Alves Freitas |
An Evolutionary Approach for Motif Discovery and Transmembrane Protein Classification. |
EvoWorkshops |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Ling Cheung |
Randomized Wait-Free Consensus Using an Atomicity Assumption. |
OPODIS |
2005 |
DBLP DOI BibTeX RDF |
Asynchronous Consensus, Wait-Free Termination, Weak Adversary, Randomized Algorithms, Probabilistic Model Checking |
12 | Hwa-Young Jeong |
The Implementation of Component Based Web Courseware in Middleware Systems. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Yan Zhao |
Coarsening Classification Rules on Basis of Granular Computing. |
Canadian AI |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Venkita Subramonian, Liang-Jui Shen, Christopher D. Gill, Nanbor Wang |
The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
QoS-enabled component middleware, DRE systems, configuration mechanisms |
12 | Kenji Funahashi, Kazunari Komura, Yuji Iwahori, Yukie Koyama |
Automatic Virtualization of Real Object Based on Shape Knowledge in Mixed Reality. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Vida Dujmovic, David R. Wood |
Layouts of Graph Subdivisions. |
GD |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jinwook Seo, Ben Shneiderman |
A Rank-by-Feature Framework for Unsupervised Multidimensional Data Exploration Using Low Dimensional Projections. |
INFOVIS |
2004 |
DBLP DOI BibTeX RDF |
feature detection/selection, information visualization, dynamic query, exploratory data analysis, statistical graphics |
12 | Praveen Kaushik Sharma, Joseph P. Loyall, George T. Heineman, Richard E. Schantz, Richard Shapiro, Gary Duzan |
Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems. |
CoopIS/DOA/ODBASE (2) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Yejun Wei, James L. Patton |
Force Field Training to Facilitate Learning Visual Distortions: A "Sensory Crossover" Experiment. |
HAPTICS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul |
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Hongen Liao, Takashi Inomata, Nobuhiko Hata, Takeyoshi Dohi |
Integral Videography Overlay Navigation System Using Mutual Information-Based Registration. |
MIAR |
2004 |
DBLP DOI BibTeX RDF |
Image overlay, 3-D image, navigation, mutual information |
12 | Shimon Y. Nof, J. Chen |
Assembly and Disassembly: An Overview and Framework for Cooperation Requirement Planning with Conflict Resolution. |
J. Intell. Robotic Syst. |
2003 |
DBLP DOI BibTeX RDF |
design for assembly, design for disassembly, artificial intelligence, conflict resolution, error recovery |
12 | Dimitrios Pierrakos, Georgios Paliouras, Christos Papatheodorou, Constantine D. Spyropoulos |
Web Usage Mining as a Tool for Personalization: A Survey. |
User Model. User Adapt. Interact. |
2003 |
DBLP DOI BibTeX RDF |
data mining, machine learning, personalization, user modeling, web usage mining |
12 | Khan M. Iftekharuddin, Wei Jia, Ronald Marsh |
Fractal analysis of tumor in brain MR images. |
Mach. Vis. Appl. |
2003 |
DBLP DOI BibTeX RDF |
Cumulative histogram, Image recognition, MRI, Fractal dimension, Brain tumor |
12 | Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt |
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. |
MASCOTS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Jeremy Rowe, Anshuman Razdan, Arleyn Simon |
Acquisition, Representation, Query and Analysis of Spatial Data: A Demonstration 3D Digital Library. |
JCDL |
2003 |
DBLP DOI BibTeX RDF |
Systems Issues, Information Visualization, Digital Library, Measurement, Standards, Standardization, Documentation, Geometric Modeling, Scientific Visualization, Image Databases, Physically Based Modeling, Collections, Shape Recognition, WWW Applications |
12 | Stephen Gilmore, Leïla Kloul |
A Unified Tool for Performance Modelling and Prediction. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Falai Chen, Xing Tang |
G2 Blending of Corners with Piecewise Algebraic Surfaces. |
PG |
2003 |
DBLP DOI BibTeX RDF |
Piecewise algebraic surface, blending, geometric continuity |
12 | Richard Lassaigne, Sylvain Peyronnet |
Approximate Verification of Probabilistic Systems. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|