Search results for "PRT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Hartmann J. Genrich	Equivalence transformations of PrT-nets.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	Higher-level Petri nets, predicate transition nets, rewriting rules, semantical equivalence
99	Mert Akinc, Kostas E. Bekris, Brian Y. Chen, Andrew M. Ladd, Erion Plaku, Lydia E. Kavraki	Probabilistic Roadmaps of Trees for Parallel Computation of Multiple Query Roadmaps.	ISRR	2003	DBLP DOI BibTeX RDF
83	Kazuhiko Minematsu, Yukiyasu Tsunoo	Expanding Weak PRF with Small Key Size.	ICISC	2005	DBLP DOI BibTeX RDF
78	Esa Montonen, Leo Ojala, Timo Tuuliniemi	A PrT-Net Representation of Graph Grammars.	WG	1987	DBLP DOI BibTeX RDF
66	Tobias Alexander Franke, Yvonne Jung	Precomputed radiance transfer for X3D based mixed reality applications.	Web3D	2008	DBLP DOI BibTeX RDF	real time, mixed reality, X3D, shader, precomputed radiance transfer, image based lighting
66	Peter-Pike J. Sloan, Ben Luna, John M. Snyder	Local, deformable precomputed radiance transfer.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	lighting environments, zonal harmonics, texture maps, nonlinear optimization, spherical harmonics, subsurface scattering, soft shadows
66	Irene Tollinger, Richard L. Lewis, Michael McCurdy, Preston Tollinger, Alonso H. Vera, Andrew Howes, Laura Pelton	Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based modeling.	CHI	2005	DBLP DOI BibTeX RDF	tools for usability evaluationm, user modeling
63	Lihui Ma, Runhua Tan	The Determination Method and Resolving Procedure of Design Conflict Based on Evolution Pattern and Prerequisite Tree.	PROLAMAT	2006	DBLP DOI BibTeX RDF	PRT, design conflict or contradiction, evolution pattern, TRIZ
50	Victor R. L. Shen, Tong-Ying Tony Juang	Verification of Knowledge-Based Systems Using Predicate/Transition Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
50	Guangsheng Zhang, Fuqiang Meng, Changjun Jiang, Jian Pang	Using Petri Net to Reason with Rule and OWL.	CIT	2006	DBLP DOI BibTeX RDF	SWRL rule, Ontology, Semantic Web, OWL, Reasoning, Predicate/Transition nets
50	Kirill Dmitriev, Thomas Annen, Grzegorz Krawczyk, Karol Myszkowski, Hans-Peter Seidel	A CAVE system for interactive modeling of global illumination in car interior.	VRST	2004	DBLP DOI BibTeX RDF	LCD panel, virtual reality, BRDF, CAVE
50	Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen	Modeling and verifying multi-agent behaviors using predicate/transition nets.	SEKE	2002	DBLP DOI BibTeX RDF	verification, formal methods, petri nets, multiagent systems, predicate/transition nets
50	Li Tan	An Abstract Schema for Equivalence-Checking Games.	VMCAI	2002	DBLP DOI BibTeX RDF
50	William C. Chu, Hongji Yang, Paul Luker	A Formal Method for Software Maintenance.	ICSM	1996	DBLP DOI BibTeX RDF
50	Hartmann J. Genrich	Projections of C/E systems.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
47	Masahiro Fujita, Takashi Kanai	Precomputed Radiance Transfer with Spatially-Varying Lighting Effects.	CGIV	2004	DBLP DOI BibTeX RDF	PRT, global illumination, spherical harmonics, interactive graphics
44	Cristina Videira Lopes, Anton Popov, Lorraine Kan, Ricardo Santos Morla	PRT simulation in an immersive virtual world.	SimuTools	2008	DBLP DOI BibTeX RDF	complex engineering systems, simulation, virtual worlds
33	Jian Yu, Quan Z. Sheng, Paolo Falcarin, Maurizio Morisio	Weaving Business Processes and Rules: A Petri Net Approach.	UNISCON	2009	DBLP DOI BibTeX RDF	Petri nets, Business process modelling, business rules, aspect-orientation
33	Gang Bai, Yue Qi	An Interactive 3D Exhibition System with Global Illumination for Digital Museum.	Edutainment	2009	DBLP DOI BibTeX RDF	global illumination, precomputed radiance transfer, digital museum
33	Jaakko Lehtinen, Matthias Zwicker, Emmanuel Turquin, Janne Kontkanen, Frédo Durand, François X. Sillion, Timo Aila	A meshless hierarchical representation for light transport.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	meshless basis functions, pre-computed radiance transfer, global illumination, scattered data
33	Chien-Yen Chang, Chai-Chun Li	Visual and Operational Impacts of Variable Speed Limit Signs on Bus Drivers on Freeways Using Driving Simulator.	APSCC	2008	DBLP DOI BibTeX RDF
33	Arnaud Gotlieb, Matthieu Petit	Constraint Reasoning in Path-Oriented Random Testing.	COMPSAC	2008	DBLP DOI BibTeX RDF	Random Testing, Constraint reasoning, Path Testing
33	Tobias Ritschel 0001, Thorsten Grosch, Jan Kautz, Hans-Peter Seidel	Interactive global illumination based on coherent surface shadow maps.	Graphics Interface	2008	DBLP BibTeX RDF	final gathering, visibility, radiosity
33	Jin-Myung Won, Fakhreddine Karray	A Genetic Algorithm with cycle representation and contraction digraph model for Guideway Network design of Personal Rapid Transit.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
33	Oskar Åkerlund, Mattias Unger, Rui Wang 0003	Precomputed Visibility Cuts for Interactive Relighting with Dynamic BRDFs.	PG	2007	DBLP DOI BibTeX RDF
33	Weifeng Sun, Amar Mukherjee	Generalized wavelet product integral for rendering dynamic glossy objects.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	cast shadows, function product, real-time rendering, haar wavelet, basis function, product integral
33	Yu-Ting Tsai, Zen-Chung Shih	All-frequency precomputed radiance transfer using spherical radial basis functions and clustered tensor approximation.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	spherical radial basis functions, tensor approximation, real-time rendering, illumination, precomputed radiance transfer, non-linear optimization
33	Vimal K. Reddy, Eric Rotenberg, Sailashri Parthasarathy	Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance.	ASPLOS	2006	DBLP DOI BibTeX RDF	redundant multithreading, simultaneous multithreading (SMT), slipstream processor, chip multiprocessor (CMP), branch prediction, transient faults, value prediction, time redundancy
33	Lifeng Wang 0001, Wenle Wang, Julie Dorsey, Xu Yang, Baining Guo, Heung-Yeung Shum	Real-time rendering of plant leaves.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	real-time rendering, natural phenomena, appearance modeling, reflectance and shading models
33	Ghenadie Bodean, Diana Bodean, A. Labunetz	New Schemes for Self-Testing RAM.	DATE	2005	DBLP DOI BibTeX RDF
33	Dianxiang Xu, Jianwen Yin, Yi Deng 0001, Junhua Ding	A Formal Architectural Model for Logical Agent Mobility.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	modeling, mobility, software architecture, Petri net, Mobile agent, predicate/transition net
33	Peter-Pike J. Sloan, Jesse D. Hall, John C. Hart, John M. Snyder	Clustered principal components for precomputed radiance transfer.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	rendering, graphics hardware, illumination, shadow algorithms, monte carlo techniques
30	Bruno Barcellos S. Coutinho, Antonio A. F. Oliveira, Yalmar Ponce Atencio, Gilson Antonio Giraldi	Rain Scene Animation through Particle Systems and Surface Flow Simulation by SPH.	SIBGRAPI	2010	DBLP DOI BibTeX RDF	rain animation, PRT, particle system, terrain, SPH
29	Ping-Man Lam, Tze-Yui Ho, Chi-Sing Leung, Tien-Tsin Wong	All-Frequency Lighting with Multiscale Spherical Radial Basis Functions.	IEEE Trans. Vis. Comput. Graph.	2010	DBLP DOI BibTeX RDF	Precomputed radiance transfer (PRT), multiscale spherical radial basis functions (MSRBFs), all-frequency rendering
28	Pengzhen Ren, Kaidong Zhang, Hetao Zheng, Zixuan Li, Yuhang Wen, Fengda Zhu, Mas Ma, Xiaodan Liang	RM-PRT: Realistic Robotic Manipulation Simulator and Benchmark with Progressive Reasoning Tasks.	CoRR	2023	DBLP DOI BibTeX RDF
28	Mohammed Tahanout, Jacques Parent Du Chatelet	FILCOH - A Novel Technique to Reduce Ground Clutter Echoes in Precipitation Radars Operating in Multiple PRT.	IEEE Trans. Geosci. Remote. Sens.	2021	DBLP DOI BibTeX RDF
28	Riley Brenner, Kurtis Bertauche, Alexander Choi, So Young Ryu	VA-PRT: A Visualization Tool for Analyzing Post-translational Modification Retention Times.	BIBM	2021	DBLP DOI BibTeX RDF
28	Esmaeel Nikravan, Saeed Parsa	Path-oriented random testing through iterative partitioning (IP-PRT).	Turkish J. Electr. Eng. Comput. Sci.	2019	DBLP DOI BibTeX RDF
28	Ruijia Wang, Bing Sun 0002, Xing Wang, Siyi Cheng	Transmitting Pulse Encoding for Beyond-PRT Retransmitting Deception Jamming Detection in Spaceborne Synthetic Aperture Radar (SAR).	Sensors	2018	DBLP DOI BibTeX RDF
28	Min Dai, Danyang Meng, Feng Jia, Miaoling Ma	Identification Based on PRT Gravity Tunnel of Continuous Electrocardiogram.	ICNC-FSKD	2018	DBLP DOI BibTeX RDF
28	Jakub Lorenc, Wiktor B. Daszczuk, Waldemar Grabski	Data Model Design in Automatic Transit System (PRT) Simulation Software.	CSOS (1)	2018	DBLP DOI BibTeX RDF
28	Wlodzimierz Choromanski, Wiktor B. Daszczuk, Jaroslaw Dyduch, Mariusz Maciejewski, Pawel Brach, Waldemar Grabski	PRT (Personal Rapid Transit) network simulation.	CoRR	2017	DBLP BibTeX RDF
28	Waldemar Grabski, Wiktor B. Daszczuk	Priority Rules on ATN (PRT) Intersections.	CoRR	2017	DBLP BibTeX RDF
28	Bogdan D. Czejdo, Wiktor B. Daszczuk, Mikolaj Baszun	Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems.	CoRR	2017	DBLP BibTeX RDF
28	Wiktor B. Daszczuk	Discrete Event Simulation of Personal Rapid Transit (PRT) Systems.	CoRR	2017	DBLP BibTeX RDF
28	Wiktor B. Daszczuk, Jerzy Miescicki, Waldemar Grabski	Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network.	CoRR	2017	DBLP BibTeX RDF
28	Wiktor B. Daszczuk, Jerzy Miescicki	Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions.	CoRR	2017	DBLP BibTeX RDF
28	Mohammed Tahanout, Abd El Hamid Adane, Jacques Parent Du Chatelet	An Improved M-PRT Technique for Spectral Analysis of Weather Radar Observations.	IEEE Trans. Geosci. Remote. Sens.	2015	DBLP DOI BibTeX RDF
28	Olfa Chebbi, Jouhaina Chaouachi	Evolutionary Approach For Minimizing Consumed Energy In a Personal Rapid Transit Transportation System with a Multi-Depot Network Topology: Minimizing Consumed Energy In a PRT System with a Multi-Depot Network Topology.	GECCO (Companion)	2015	DBLP DOI BibTeX RDF
28	Wang Ding, Dongbo Dai, Jiang Xie 0003, Huiran Zhang, Wu Zhang, Hao Xie	PRT-HMM: A Novel Hidden Markov Model for Protein Secondary Structure Prediction.	ACIS-ICIS	2012	DBLP DOI BibTeX RDF
28	Weiwei Fang, Naiqian Zhang	Metric-based PRT set selection in tone reservation scheme for PAPR reduction in OFDM systmes.	BMEI	2012	DBLP DOI BibTeX RDF
28	Zhanya Li, Wenyi Zhang 0001, Weidong Wang	A Tone Reservation Method Combining Linear Clipping and PRT-Aided Detection Algorithm.	VTC Fall	2011	DBLP DOI BibTeX RDF
28	Hao Li, Yusen Chen, Jie Li, Henk J. van Zuylen, Bart van Arem	Demand modeling of innovative transport system PRT at the Rotterdam port area.	ITSC	2010	DBLP DOI BibTeX RDF
28	Dae-Woon Lim, Hyung-Suk Noh, Jong-Seon No, Dong-Joon Shin	Near Optimal PRT Set Selection Algorithm for Tone Reservation in OFDM Systems.	IEEE Trans. Broadcast.	2008	DBLP DOI BibTeX RDF
28	Abhijit Biswas, Bruce E. Moision, William T. Roberts, William H. Farr, Andrew Gray, Kevin Quirk, Jon Hamkins, Michael K. Cheng, Jonathan Gin, Michael A. Nakashima, Gerardo G. Ortiz, Sabino Piazzolla, Carl Christian Liebe, David L. Losh	Palomar Receive Terminal (PRT) for the Mars Laser Communication Demonstration (MLCD) Project.	Proc. IEEE	2007	DBLP DOI BibTeX RDF
28	Dae-Woon Lim, Hyung-Suk Noh, Seok-Joong Heo, Jong-Seon No, Dong-Joon Shin	Construction of the Near Optimal PRT Set using the Cyclic Difference Set in TR Scheme.	PIMRC	2007	DBLP DOI BibTeX RDF
28	Wei-Wen Feng, Liang Peng, Yuntao Jia, Yizhou Yu	Large-Scale Data Management for PRT-Based Real-Time Rendering of Dynamically Skinned Models.	Rendering Techniques	2007	DBLP DOI BibTeX RDF
28	Jiawan Zhang, Yang Gao, Jizhou Sun, Zhou Jin 0002	Rendering of Translucent Objects Based Upon PRT Techniques.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	phase function, separable approximation, Subsurface scattering, Haar wavelets, precomputed radiance transfer
28	Cuong Nguyen 0002, Dmitri Moisseev, V. Chandrasekar 0001	A time domain clutter filter for staggered PRT and dual- PRF measurements.	IGARSS	2007	DBLP DOI BibTeX RDF
28	Jounghoon Kim, Sung Ho Cho, Insoo Jang, Chong-Sun Hwang	PRT: Implementation of a Parallel Ray Tracer Using Java.	Applied Informatics	1999	DBLP BibTeX RDF
28	Michel Parent, Pascal Daviet	Automated urban vehicles: towards a dual mode PRT (Personal Rapid Transit).	ICRA	1996	DBLP DOI BibTeX RDF
28	K. Golestani, T. Chandrasekar, R. Jeffrey Keeler	Dual polarized staggered PRT scheme for weather radars: analysis and applications.	IEEE Trans. Geosci. Remote. Sens.	1995	DBLP DOI BibTeX RDF
28	Anurag Srivastava, Deepak K. Lakhanpal, Vishal Jain, P. C. P. Bhatt	Specification Driven Distributed Simulation Using PrT-Nets.	EUROSIM	1995	DBLP BibTeX RDF
28	Peter Wißkirchen, S. Niehuis, Frank Victor	Ein rechnergestützter Bürosimulator auf der Basis von PrT-Netzen und Prolog.	Angew. Inform.	1984	DBLP BibTeX RDF
28	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	Constructive Proofs as Programs Executable by PrT Nets.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP DOI BibTeX RDF
17	Rui Wang 0004, Ewen Cheslack-Postava, Rui Wang 0003, David P. Luebke, Qianyong Chen, Wei Hua, Qunsheng Peng 0001, Hujun Bao	Real-time editing and relighting of homogeneous translucent materials.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Spatial compression, PCA, Haar wavelets, Precomputed radiance transfer, BSSRDF
17	Arjan Egges, George Papagiannakis, Nadia Magnenat-Thalmann	Presence and interaction in mixed reality environments.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Interaction, Animation, Mixed reality, Presence, Real-time rendering
17	Dhruv Mahajan 0001, Ira Kemelmacher-Shlizerman, Ravi Ramamoorthi, Peter N. Belhumeur	A theory of locally low dimensional light transport.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	all-frequency relighting, local light transport, rendering cost analysis, dimensionality analysis
17	Xin Sun 0014, Kun Zhou 0001, Yanyun Chen, Stephen Lin 0001, Jiaoying Shi, Baining Guo	Interactive relighting with dynamic BRDFs.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	tensor factorization, global illumination, relighting, precomputed radiance transfer, bidirectional reflectance distribution function
17	Brian K. Guenter	Efficient symbolic differentiation for graphics applications.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	symbolic differentiation
17	Makoto Okabe, Yasuyuki Matsushita, Li Shen 0003, Takeo Igarashi	Illumination Brush: Interactive Design of All-Frequency Lighting.	PG	2007	DBLP DOI BibTeX RDF
17	Derek Nowrouzezahrai, Patricio D. Simari, Evangelos Kalogerakis, Karan Singh, Eugene Fiume	Compact and efficient generation of radiance transfer for dynamically articulated characters.	GRAPHITE	2007	DBLP DOI BibTeX RDF	animated precomputed radiance transfer, real-time, dimensionality reduction, model fitting
17	Derek Nowrouzezahrai, Patricio D. Simari, Evangelos Kalogerakis, Eugene Fiume	Eigentransport for efficient and accurate all-frequency relighting.	GRAPHITE	2007	DBLP DOI BibTeX RDF	shading error analysis, dimensionality reduction, realistic image synthesis, precomputed radiance transfer
17	Aner Ben-Artzi, Ryan S. Overbeck, Ravi Ramamoorthi	Real-time BRDF editing in complex lighting.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF
17	Peter-Pike J. Sloan	Normal mapping for precomputed radiance transfer.	SI3D	2006	DBLP DOI BibTeX RDF	rendering, graphics hardware, illumination, shadow algorithms, normal mapping
17	Arjan Egges, George Papagiannakis, Nadia Magnenat-Thalmann	An Interactive Mixed Reality Framework for Virtual Humans.	CW	2006	DBLP DOI BibTeX RDF
17	Matthias Aleff, Adrian Krzizok, Werner Neddermeyer, Rainer Seibel, Wolfgang Winkler	3D-NaMiS, ein Navigationssystem für den minimal invasiven Eingriff.	Bildverarbeitung für die Medizin	2005	DBLP DOI BibTeX RDF
17	Boris A. Trakhtenbrot	Automata and Their Interaction: Definitional Suggestions.	FCT	1999	DBLP DOI BibTeX RDF
17	William C. Chu, C. P. Hsu, Chih-Wei Lu, Xudong He	A Semi-Formal Approach to Assist Software Design with Reuse.	ICSM	1999	DBLP DOI BibTeX RDF	Verification, Adaptation, Integration, Reuse, Abstraction, Retrieving
17	Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang	A formal approach to software components classification and retrieval.	COMPSAC	1997	DBLP DOI BibTeX RDF	software components classification, reuse-based software development, faceted scheme, programmer productivity, software quality, software libraries, consistency checking, predicates, keywords, formal approach, Predicate/Transition net, query specification, software components retrieval
17	Kimmo Varpaaniemi, Marko Rauhamaa	The Stubborn Set Method in Practice.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF