Search results for "Prism"

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