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