|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(3), pp. 256-272, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2008 ACM Symposium on Solid and Physical Modeling, Stony Brook, New York, USA, June 2-4, 2008, pp. 287-294, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(10), pp. 2436-2448, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
110 | Sameer Singh 0002 |
PRISM-A novel framework for pattern recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 6(2), pp. 134-149, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2003, ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings, pp. 162-181, 2003, Springer, 3-540-40317-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
87 | Tathagata Das, Prashanth Mohan, Venkata N. Padmanabhan, Ramachandran Ramjee, Asankhaya Sharma |
PRISM: platform for remote sensing using smartphones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: Proceedings of the 8th International Conference on Mobile Systems, Applications, and Services (MobiSys 2010), San Francisco, California, USA, June 15-18, 2010, pp. 63-76, 2010, ACM, 978-1-60558-985-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008, pp. 114-121, 2008, IEEE Computer Society, 978-1-4244-2538-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
87 | Kyu-Han Kim, Kang G. Shin |
PRISM: Improving the Performance of Inverse-Multiplexed TCP in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 6(12), pp. 1297-1312, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings, pp. 388-407, 2008, Springer, 978-3-540-89855-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
74 | Nazim H. Madhavji, Wilhelm Schäfer |
Prism-Methodology and Process-Oriented Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(12), pp. 1270-1283, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(5), pp. 380-392, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: Proceedings of the 3rd International Conference on Mobile Systems, Applications, and Services, MobiSys 2005, Seattle, Washington, USA, June 6-8, 2005, pp. 107-120, 2005, ACM, 1-931971-31-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
70 | Jon Sneyers, Joost Vennekens, Danny De Schreye |
Probabilistic-Logical Modeling of Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pp. 60-72, 2006, Springer, 3-540-30947-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Inductive Logic Programming ![In: Probabilistic Inductive Logic Programming - Theory and Applications, pp. 118-155, 2008, Springer, 978-3-540-78651-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
64 | Abhik Majumdar, Kannan Ramchandran |
PRISM: An Error-Resilient Video Coding Paradigm for Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 1st International Conference on Broadband Networks (BROADNETS 2004), 25-29 October 2004, San Jose, CA, USA, pp. 478-485, 2004, IEEE Computer Society, 0-7695-2221-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Carlo Curino, Hyun Jin Moon, MyungWon Ham, Carlo Zaniolo |
The PRISM Workwench: Database Schema Evolution without Tears. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 1523-1526, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work, CSCW 2008, San Diego, CA, USA, November 8-12, 2008, pp. 569-578, 2008, ACM, 978-1-60558-007-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP AI ![In: Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy, pp. 77-86, 2008, Springer, 978-0-387-09694-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 2563-2571, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Scott Frees, G. Drew Kessler, Edwin Kay |
PRISM interaction for enhancing control in immersive virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 14(1), pp. 2, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 487-492, 2007, IEEE Computer Society, 0-7695-3018-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 441-444, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM ![In: 12th International Conference on Multi Media Modeling (MMM 2006), 4-6 January 2006, Beijing, China, pp. 469-472, 2006, IEEE, 1-4244-0028-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 33(1-2), pp. 103-121, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings, pp. 200-204, 2002, Springer, 3-540-43539-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
50 | Taisuke Sato |
A glimpse of symbolic-statistical modeling by PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 31(2), pp. 161-176, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 32(4), pp. 16-21, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
PRISM |
50 | Richard Greene |
The drawing prism: a versatile graphic input device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1985, San Francisco, California, USA, July 22-26, 1985, pp. 103-110, 1985, ACM, 0-89791-166-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 79-80, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | S. M. Nazrul Alam, Zygmunt J. Haas |
Coverage and connectivity in three-dimensional networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 12th Annual International Conference on Mobile Computing and Networking, MOBICOM 2006, Los Angeles, CA, USA, September 23-29, 2006, pp. 346-357, 2006, ACM, 1-59593-286-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 54(1-3), pp. 135-158, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMTIC ![In: Wireless Networks, Information Processing and Systems, International Multi Topic Conference, IMTIC 2008, Jamshoro, Pakistan, April 11-12, 2008, Revised Selected Papers, pp. 433-444, 2008, Springer, 978-3-540-89852-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 221-236, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers, pp. 258-265, 2004, Springer, 3-540-28128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 52-66, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Kevin J. Sullivan, Ira Kalet, David Notkin |
Evaluating The Mediator Method: Prism as a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(8), pp. 563-579, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts, USA, June 18-21, 1984, pp. 307-315, 1984, ACM Press, 978-0-89791-128-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 33(12), pp. 2423-2435, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 199-202, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
QoS, WS-BPEL, Probabilistic Model-Checking, PRISM |
36 | Taisuke Sato |
Logic-Based Probabilistic Modeling. ![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. 61-71, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Frederic T. Stahl, Max A. Bramer, Mo Adda |
PMCRI: A Parallel Modular Classification Rule Induction Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition, 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings, pp. 148-162, 2009, Springer, 978-3-642-03069-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1355-1362, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
phylogenetic species concept, species barcoding, genetic algorithms, island model, parallel evolutionary algorithms, speciation |
36 | Stephen Gilmore, Jane Hillston |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 35(4), pp. 2, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Frank Ciesinski, Christel Baier, Marcus Größer, David Parker 0001 |
Generating Compact MTBDD-Representations from ProbmelaSpecifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 60-76, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Sam Malek, Chiyoung Seo, Nenad Medvidovic |
Tailoring an architectural middleware platform to a heterogeneous embedded environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEM ![In: Proceedings of the 6th International Workshop on Software Engineering and Middleware, SEM 2006, Portland, Oregon, USA, November 10, 2006, pp. 63-70, 2006, ACM, 1-59593-585-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, pp. 328-342, 2001, Springer, 3-540-43309-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Debayan Bhaduri, Sandeep K. Shukla |
NANOPRISM: a tool for evaluating granularity vs. reliability trade-offs in nano architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 109-112, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Component Deployment ![In: Component Deployment, IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings, pp. 31-50, 2002, Springer, 3-540-43847-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 10(1), pp. 1-8, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 12(02), pp. 2050026, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIC ![In: 2nd Color and Imaging Conference, CIC 1994, Scottsdale, Arizona, USA, November 15-18, 1994, pp. 156-158, 1994, Society for Imaging Science and Technology, 0-89208-180-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Taisuke Sato |
Generative Modeling by PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 24-35, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 956-960, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Alastair F. Donaldson, Alice Miller 0001, David Parker 0001 |
GRIP: Generic Representatives in PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 115-116, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 22(1), pp. 73-81, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(10), pp. 1629-1637, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Raul Silaghi, Alfred Strohmeier |
Parallax, or Viewing Designs Through a Prism of Middleware Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 1060-1069, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Probabilistic symbolic model checking with PRISM: a hybrid approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(2), pp. 128-142, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 322-323, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 194-206, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Yoshitaka Kameya, Taisuke Sato |
Abstracting a Human's Decision Process by PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, First International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998, Proceedings, pp. 389-390, 1998, Springer, 3-540-65390-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Josef Giglmayr |
All-optical multi-layer switching architectures: (I) MxN-gon prism switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), October 12-15, 1998, Lafayette, Louisiana, USA, pp. 502-515, 1998, IEEE Computer Society, 0-8186-9014-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(2), pp. 209-223, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Neil J. A. Sloane, Vinay A. Vaishampayan |
Generalizations of Schöbi's Tetrahedral Dissection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(2), pp. 232-248, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II, pp. 267-277, 2008, Springer, 978-3-540-89645-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chuohao Yeo, Jiajun Wang, Kannan Ramchandran |
View Synthesis for Robust Distributed Video Compression in Wireless Camera Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 21-24, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 |
Model checking the probabilistic pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 169-178, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition, 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings, pp. 742-755, 2007, Springer, 978-3-540-73498-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Stochastic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures, pp. 220-270, 2007, Springer, 978-3-540-72482-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 69-85, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Pankaj K. Agarwal, Boris Aronov, Vladlen Koltun |
Efficient algorithms for bichromatic separability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 2(2), pp. 209-227, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(4-5), pp. 397-409, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1223-1224, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Ballarini, Alice Miller 0001 |
Model Checking Medium Access Control for Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 255-262, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Alastair F. Donaldson, Alice Miller 0001 |
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 9-23, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 143-152, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | A. L. Narasimha Reddy, James C. Wyllie, Ravi Wijayaratne |
Disk scheduling in a multimedia I/O system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Multim. Comput. Commun. Appl. ![In: ACM Trans. Multim. Comput. Commun. Appl. 1(1), pp. 37-59, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 972-987, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(2), pp. 226-237, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004, pp. 682-690, 2004, SIAM, 0-89871-558-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
24 | Davide D'Aprile, Susanna Donatelli, Jeremy Sproston |
CSL Model Checking for the GreatSPN Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings, pp. 543-552, 2004, Springer, 3-540-23526-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I, pp. 183-190, 2004, Springer, 3-540-22054-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Taisuke Sato, Yoshitaka Kameya |
Negation Elimination for Finite PCFGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers, pp. 117-132, 2004, Springer, 3-540-26655-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Nenad Medvidovic, Marija Mikic-Rakic, Nikunj R. Mehta, Sam Malek |
Software Architectural Support for Handheld Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 36(9), pp. 66-73, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Marta Z. Kwiatkowska |
Model checking for probability and time: from theory to practice . ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 351-, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Soji Yamakawa, Kenji Shimada |
HEXHOOP: Modular Templates for Converting a Hex-Dominant Mesh to an ALL-Hex Mesh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 18(3), pp. 211-228, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 413-421, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Jim Beach |
Spectral Reflectance Technique for Retinal Blood Oxygen Evaluation in Humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: 31st Applied Image Pattern Recognition Workshop (AIPR 2002), From Color to Hyperspectral: Advancements in Spectral Imagery Exploitation, 16-18 October 2002, Washington, D.C., USA, Proceedings, pp. 117-123, 2002, IEEE Computer Society, 0-7695-1863-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | David Price, Ellen Riloff, Joseph L. Zachary, Brandon Harvey |
NaturalJava: a natural language interface for programming in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 5th International Conference on Intelligent User Interfaces, IUI 2000, New Orleans, LA, USA, January 9-12, 2000, pp. 207-211, 2000, ACM, 1-58113-134-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 15(4), pp. 159-170, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 41-50, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, pp. 242-257, 2007, Springer, 978-3-540-74983-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 4th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2006), held at the ACM/IFIP/USENIX 7th International Middleware Conference, November 27 - December 1, 2006, Melbourne, Australia, pp. 2, 2006, ACM, 1-59593-421-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 16(7), pp. 1116, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 47724-47745, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 20509-20516, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Jing Qin, Feixiong Liao |
Space-time prism and accessibility incorporating monetary budget and mobility-as-a-service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Geogr. Inf. Sci. ![In: Int. J. Geogr. Inf. Sci. 38(2), pp. 274-296, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Herbert Wright, Weiming Zhi, Matthew Johnson-Roberson, Tucker Hermans |
V-PRISM: Probabilistic Mapping of Unknown Tabletop Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08106, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09953, 2024. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|