The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for PRISM with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1987 (15) 1988-1992 (18) 1993-1996 (17) 1997-2000 (17) 2001-2002 (29) 2003 (20) 2004 (28) 2005 (29) 2006 (35) 2007 (36) 2008 (53) 2009 (50) 2010 (23) 2011 (27) 2012 (24) 2013 (30) 2014 (27) 2015 (28) 2016 (31) 2017 (38) 2018 (39) 2019 (44) 2020 (35) 2021 (32) 2022 (43) 2023 (46) 2024 (7)
Publication types (Num. hits)
article(349) book(2) incollection(12) inproceedings(454) phdthesis(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 306 occurrences of 262 keywords

Results
Found 821 publication records. Showing 821 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
142Sam Malek, Marija Mikic-Rakic, Nenad Medvidovic A Style-Aware Architectural Middleware for Resource-Constrained, Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Prism-MW, Software architecture, middleware, architectural style
122Soji Yamakawa, Kenji Shimada Converting a tetrahedral mesh to a prism-tetrahedral hybrid mesh for FEM accuracy and efficiency. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hybrid mesh, mesh conversion, prism element, tetrahedral element, finite element method
111Rohit Puri, Abhik Majumdar, Kannan Ramchandran PRISM: A Video Coding Paradigm With Motion Estimation at the Decoder. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
110Sameer Singh 0002 PRISM-A novel framework for pattern recognition. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Classification complexity, Hypercuboids, Feature selection, Cells, PRISM, Data compactness
107Marija Mikic-Rakic, Nenad Medvidovic Adaptable Architectural Middleware for Programming-in-the-Small-and-Many. Search on Bibsonomy Middleware The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
87Tathagata Das, Prashanth Mohan, Venkata N. Padmanabhan, Ramachandran Ramjee, Asankhaya Sharma PRISM: platform for remote sensing using smartphones. Search on Bibsonomy MobiSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF mobile sandbox, opportunistic sensing, smart phones, mobile platform, participatory sensing
87Tiansi Dong Cognitive prism: A bridge between meta cognitive model and higher cognitive models. Search on Bibsonomy IEEE ICCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
87Kyu-Han Kim, Kang G. Shin PRISM: Improving the Performance of Inverse-Multiplexed TCP in Wireless Networks. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mobile collaborative community, out-of-order packet delivery, TCP, multi-homing, bandwidth aggregation
76Xin Zhao 0016, Kevin Borders, Atul Prakash 0001 Prism: Providing Flexible and Fast Filesystem Cloning Service for Virtual Servers. Search on Bibsonomy Middleware The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
74Nazim H. Madhavji, Wilhelm Schäfer Prism-Methodology and Process-Oriented Environment. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF process-oriented environment, Prism model, product software process description, hybrid process modeling language, high-level Petri net formalism, software engineering, Petri nets, rules
73Nazim H. Madhavji Environment Evolution: The Prism Model of Changes. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Prism model, Prism project, change-related environment infrastructures, environmental facilities, dependency structure, change structure, change-related data, qualitative judgments, built-in mechanism, data structures, software tools, policies, programming environments, feedback, processes, complex network, resources, laws, software development environment, people
72Kyu-Han Kim, Kang G. Shin Improving TCP performance over wireless networks with collaborative multi-homed mobile hosts. Search on Bibsonomy MobiSys The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
70Jon Sneyers, Joost Vennekens, Danny De Schreye Probabilistic-Logical Modeling of Music. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automatic music composition, PRISM, music classification, probabilistic-logical programming
64Taisuke Sato, Yoshitaka Kameya New Advances in Logic-Based Probabilistic Modeling by PRISM. Search on Bibsonomy Probabilistic Inductive Logic Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
64Abhik Majumdar, Kannan Ramchandran PRISM: An Error-Resilient Video Coding Paradigm for Wireless Networks. Search on Bibsonomy BROADNETS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Carlo Curino, Hyun Jin Moon, MyungWon Ham, Carlo Zaniolo The PRISM Workwench: Database Schema Evolution without Tears. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Aurélien Tabard, Wendy E. Mackay, Evelyn Eastmond From individual to collaborative: the evolution of prism, a hybrid laboratory notebook. Search on Bibsonomy CSCW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF activity streams, hybrid lab notebooks, laboratory notebooks, information management, e-science, augmented paper
52Frederic T. Stahl, Max A. Bramer, Mo Adda P-Prism: A Computationally Efficient Approach to Scaling up Classification Rule Induction. Search on Bibsonomy IFIP AI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Chris Poyner, Mary C. Court, Huong T. L. Pham, Jennifer L. Pittman A 3-D pyramid/prism approach to view knowledge requirements for the batch means method when taught in a language-focused, undergraduate simulation course. Search on Bibsonomy WSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Scott Frees, G. Drew Kessler, Edwin Kay PRISM interaction for enhancing control in immersive virtual environments. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF direct object manipulation, precision manipulation, virtual reality, 3D object manipulation
52Karam Gouda, Mosab Hassaan, Mohammed Javeed Zaki Prism: A Primal-Encoding Approach for Frequent Sequence Mining. Search on Bibsonomy ICDM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM: A Tool for Automatic Verification of Probabilistic Systems. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Yong Xiao, Kah Bin Lim 0001, Wei Miao Yu A Prism Based Single-Lens Multi-Ocular Stereo lmage Capture System. Search on Bibsonomy MMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Dong-Soo Kim, Y. J. Jung, Tai-Myung Chung PRISM: A Preventive and Risk-Reducing Integrated Security Management Model Using Security Label. Search on Bibsonomy J. Supercomput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF security management, security label, ESM, ISM
52Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM: Probabilistic Symbolic Model Checker. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Taisuke Sato A glimpse of symbolic-statistical modeling by PRISM. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Symbolic-statistical modeling, Probabilistic context free grammar, PRISM
50Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic model checking in practice: case studies with PRISM. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PRISM
50Richard Greene The drawing prism: a versatile graphic input device. Search on Bibsonomy SIGGRAPH The full citation details ... 1985 DBLP  DOI  BibTeX  RDF continuously adjustable, critical angle, drawing prism, gesture sensitive, keystone correction, real-time image processing, paint systems
48Christopher Power, Alice Miller 0001 Prism2Promela. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46S. M. Nazrul Alam, Zygmunt J. Haas Coverage and connectivity in three-dimensional networks. Search on Bibsonomy MobiCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 3D networks, Kelvin's conjecture, hexagonal prism, rhombic dodecahedron, three-dimensional networks, truncated octahedron, wireless networks, connectivity, coverage, polyhedron, underwater networks
40Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara Variational Bayes via propositionalized probability computation in PRISM. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T37, 62F15
40Ahmed Zeeshan, Anwar M. Masood, Zafar M. Faisal, Azam Kalim, Naheed Farzana PrISM: Automatic Detection and Prevention from Cyber Attacks. Search on Bibsonomy IMTIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Information Security Management System, Intrusion Detection, Network security, Computer Security, Intrusion Prevention
40Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire
40Hwa-Young Jeong, Young-Jae Song Prism-WM Based Connector Interaction for Middleware Systems. Search on Bibsonomy ICESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Kevin J. Sullivan, Ira Kalet, David Notkin Evaluating The Mediator Method: Prism as a Case Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF abstract behavioral type, radiation treatment, Software engineering, integration, object-oriented, software evolution, design methodology, mediator, implicit invocation, component-based
40Allan Shepherd, Larry Kerschberg PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. Search on Bibsonomy SIGMOD Conference The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
38Xun Cao, Hao Du 0004, Xin Tong 0001, Qionghai Dai, Stephen Lin 0001 A Prism-Mask System for Multispectral Video Acquisition. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF multispectral video, occlusion mask, Multispectral imaging, prism
38Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu Analysis of WS-BPEL Processes in PRISM. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF QoS, WS-BPEL, Probabilistic Model-Checking, PRISM
36Taisuke Sato Logic-Based Probabilistic Modeling. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Frederic T. Stahl, Max A. Bramer, Mo Adda PMCRI: A Parallel Modular Classification Rule Induction Framework. Search on Bibsonomy MLDM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Paul Grouchy, Jekanthan Thangavelautham, Gabriele M. T. D'Eleuterio An island model for high-dimensional genomes using phylogenetic speciation and species barcoding. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF phylogenetic species concept, species barcoding, genetic algorithms, island model, parallel evolutionary algorithms, speciation
36Stephen Gilmore, Jane Hillston Foreword. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Frank Ciesinski, Christel Baier, Marcus Größer, David Parker 0001 Generating Compact MTBDD-Representations from ProbmelaSpecifications. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Sam Malek, Chiyoung Seo, Nenad Medvidovic Tailoring an architectural middleware platform to a heterogeneous embedded environment. Search on Bibsonomy SEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Stefan Felsner, Giuseppe Liotta, Stephen K. Wismath Straight-Line Drawings on Restricted Integer Grids in Two and Three Dimensions. Search on Bibsonomy GD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Debayan Bhaduri, Sandeep K. Shukla NANOPRISM: a tool for evaluating granularity vs. reliability trade-offs in nano architectures. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CTMR, defect-tolerant architecture, nanotechnology, granularity, TMR, PRISM
34Marija Mikic-Rakic, Nenad Medvidovic Architecture-Level Support for Software Component Deployment in Resource Constrained Environments. Search on Bibsonomy Component Deployment The full citation details ... 2002 DBLP  DOI  BibTeX  RDF software architecture, architectural style, Software deployment, Prism, software connector, multi-versioning
34Cheon Woo Shin, Seiji Inokuchi, Kwang I. Kim Retina-like visual sensor for fast tracking and navigation robots. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Anthropomorphic retina-like visual sensor, Dove prism, Linear CCD sensor, Space variant resolution, Eccentricity
32M. R. Raksha, P. Hithavarshini, Charles Dominic, N. K. Sudev Injective coloring of complementary prism and generalized complementary prism graphs. Search on Bibsonomy Discret. Math. Algorithms Appl. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
32Hideto Motomura, Teruo Fumoto, Osamu Yamada, Katsuhiro Kanamori, Hiroaki Kotera CIELAB to CMYK Color Conversion by Prism and Slant Prism Interpolation Method. Search on Bibsonomy CIC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Taisuke Sato Generative Modeling by PRISM. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Haibo Zhang, Hui Zhao 0019, Wei Tao, Zhanbin Wang Laser Trianglation Displacement Measurement Method Using Prism-Based Optical Structure. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Alastair F. Donaldson, Alice Miller 0001, David Parker 0001 GRIP: Generic Representatives in PRISM. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Peter Horák, Tomás Kaiser, Moshe Rosenfeld 0001, Zdenek Ryjácek The Prism Over the Middle-levels Graph is Hamiltonian. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla Evaluating the reliability of NAND multiplexing with PRISM. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Raul Silaghi, Alfred Strohmeier Parallax, or Viewing Designs Through a Prism of Middleware Platforms. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Jaeho Lee 0004, Joon Young Park, Deok-Soo Kim, Hyun-Chan Lee Triangular Prism Generation Algorithm for Polyhedron Decomposition. Search on Bibsonomy ICCSA (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic symbolic model checking with PRISM: a hybrid approach. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Binary decision diagrams, Symbolic model checking, Probabilistic model checking
28Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM 2.0: A Tool for Probabilistic Model Checking. Search on Bibsonomy QEST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Yoshitaka Kameya, Taisuke Sato Abstracting a Human's Decision Process by PRISM. Search on Bibsonomy Discovery Science The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Josef Giglmayr All-optical multi-layer switching architectures: (I) MxN-gon prism switches. Search on Bibsonomy ICCCN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Optical waveguide, 2x2-switch, directional coupler, Mach-Zehnder interferometer, cycle structure, logical switch architecture, physical switch, all-optical 3-D grid, grid size, mapping, connectivity, multi-layer
24Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Neil J. A. Sloane, Vinay A. Vaishampayan Generalizations of Schöbi's Tetrahedral Dissection. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hill tetrahedra, Schöbi, Source coding, Polytopes, Constant-weight codes, Voronoi cell, Dissections
24Yann Ducrocq, Shahram Bahrami, Luc Duvieubourg, François Cabestaing An Effective Active Vision System for Gaze Control. Search on Bibsonomy ISVC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Chuohao Yeo, Jiajun Wang, Kannan Ramchandran View Synthesis for Robust Distributed Video Compression in Wireless Camera Networks. Search on Bibsonomy ICIP (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 Model checking the probabilistic pi-calculus. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Henning Christiansen 0001, Christina Mackeprang Dahmcke A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. Search on Bibsonomy MLDM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Stochastic Model Checking. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Pankaj K. Agarwal, Boris Aronov, Vladlen Koltun Efficient algorithms for bichromatic separability. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2006 DBLP  DOI  BibTeX  RDF separability, arrangements, Geometric algorithms
24Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli Finite horizon analysis of Markov Chains with the Murphi verifier. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model checking, Markov chains, Automatic verification, Probabilistic model checking, Probabilistic verification
24Jounaïdi Ben Hassen, Sofiène Tahar On the numerical verification of probabilistic rewriting systems. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Paolo Ballarini, Alice Miller 0001 Model Checking Medium Access Control for Sensor Networks. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Alastair F. Donaldson, Alice Miller 0001 Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24A. L. Narasimha Reddy, James C. Wyllie, Ravi Wijayaratne Disk scheduling in a multimedia I/O system. Search on Bibsonomy ACM Trans. Multim. Comput. Commun. Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF I/O systems, performance evaluation, real-time, multimedia applications, disk scheduling
24Alex Cuthbert, Mark Kubinec, David O. Tanis, Fan Ieong, Lois Wei, David Schlossberg Advanced technology for streamlining the creation of ePortfolio resources and dynamically-indexing digital library assets: a case study from the digital chemistry project. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2005 DBLP  DOI  BibTeX  RDF content strategy & creation, multidisciplinary design/interdisciplinary design, user experience design/experience design, user-centered design/human-centered design, interaction design, information architecture, concept design
24Zhigang Zhu, Allen R. Hanson, Edward M. Riseman Generalized Parallel-Perspective Stereo Mosaics from Airborne Video. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF airborne video analysis, image registration, stereo vision, epipolar geometry, Mosaicing, visual representation, view interpolation
24Pankaj K. Agarwal, Boris Aronov, Vladlen Koltun Efficient algorithms for bichromatic separability. Search on Bibsonomy SODA The full citation details ... 2004 DBLP  BibTeX  RDF
24Davide D'Aprile, Susanna Donatelli, Jeremy Sproston CSL Model Checking for the GreatSPN Tool. Search on Bibsonomy ISCIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Dong-Soo Kim, Tai-Myung Chung A Design of Preventive Integrated Security Management System Using Security Labels and a Brief Comparison with Existing Models. Search on Bibsonomy ICCSA (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Taisuke Sato, Yoshitaka Kameya Negation Elimination for Finite PCFGs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Nenad Medvidovic, Marija Mikic-Rakic, Nikunj R. Mehta, Sam Malek Software Architectural Support for Handheld Computing. Search on Bibsonomy Computer The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Marta Z. Kwiatkowska Model checking for probability and time: from theory to practice . Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Soji Yamakawa, Kenji Shimada HEXHOOP: Modular Templates for Converting a Hex-Dominant Mesh to an ALL-Hex Mesh. Search on Bibsonomy Eng. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Hex-dominant, Mesh conversion, Template, Pyramid, Hexahedral mesh
24Hongjun Zhu, Jianwen Su, Oscar H. Ibarra Trajectory queries and octagons in moving object databases. Search on Bibsonomy CIKM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Jim Beach Spectral Reflectance Technique for Retinal Blood Oxygen Evaluation in Humans. Search on Bibsonomy AIPR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24David Price, Ellen Riloff, Joseph L. Zachary, Brandon Harvey NaturalJava: a natural language interface for programming in Java. Search on Bibsonomy IUI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF computer program editors, natural language processing, information extraction, programming environments, intelligent user interfaces
24Lieu-Hen Chen, Santi Saeyor, Hiroshi Dohi, Mitsuru Ishizuka A system of 3D hair style synthesis based on the wisp model. Search on Bibsonomy Vis. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF 3D CG hair style, Hair image synthesis, Wisp model, CG human characters, Anthropomorphic agent
22Rena Bakhshi, Ansgar Fehnker On the Impact of Modelling Choices for Distributed Information Spread. Search on Bibsonomy QEST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Information Spread, PeerSim, Model Checking, Distributed Algorithms, PRISM
22Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. Search on Bibsonomy SDL Forum The full citation details ... 2007 DBLP  DOI  BibTeX  RDF APMC, Model checking, probabilistic models, PRISM, Pastry
22Sam Malek, Chiyoung Seo, Sharmila Ravula, Brad Petrus, Nenad Medvidovic Providing middleware-level facilities to support architecture-based development of software systems in pervasive environments. Search on Bibsonomy MPAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prism-MW, software architecture, pervasive computing
16Giovanni Paolini, Maria José Escorihuela, Joaquim Bellvert, Olivier Merlin, Thierry Pellarin PrISM at Operational Scale: Monitoring Irrigation District Water Use during Droughts. Search on Bibsonomy Remote. Sens. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Gunzung Kim, Imran Ashraf, Jeongsook Eom, Yongwan Park A Novel Cycloidal Scanning LiDAR Sensor Using Risley Prism and Optical Orthogonal Frequency-Division Multiple Access for Aerial Applications. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Ruby Nasir, Muhammad Ahmad, Zohaib Zahid, Muhammad Javaid, Mamo Abebe Ashebo Edge Version of Doubly Resolving Sets for Grid and Generalized Prism Networks. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Jing Qin, Feixiong Liao Space-time prism and accessibility incorporating monetary budget and mobility-as-a-service. Search on Bibsonomy Int. J. Geogr. Inf. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Herbert Wright, Weiming Zhi, Matthew Johnson-Roberson, Tucker Hermans V-PRISM: Probabilistic Mapping of Unknown Tabletop Scenes. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
16Yutong Xia, Runpeng Yu, Yuxuan Liang, Xavier Bresson, Xinchao Wang, Roger Zimmermann Through the Dual-Prism: A Spectral Perspective on Graph Data Augmentation for Graph Classification. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 821 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license