Search results for "POR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Imre Bárány, Ferenc Fodor, Luis Montejano 0001, Deborah Oliveros, Attila Pór	Colourful and Fractional (p, q)-theorems.	Discret. Comput. Geom.	2014	DBLP DOI BibTeX RDF
29	Imre Bárány, Jirí Matousek 0001, Attila Pór	Curves in Rd intersecting every hyperplane at most d + 1 times.	SoCG	2014	DBLP DOI BibTeX RDF
29	Oswin Aichholzer, Thomas Hackl, Michael Hoffmann 0001, Clemens Huemer, Attila Pór, Francisco Santos, Bettina Speckmann, Birgit Vogtenhuber	Maximizing maximal angles for plane straight-line graphs.	Comput. Geom.	2013	DBLP DOI BibTeX RDF
29	Lip Yee Por, Delina Beh Yin, Tan Fong Ang, Sim Ying Ong	An enhanced mechanism for image steganography using sequential colour cycle algorithm.	Int. Arab J. Inf. Technol.	2013	DBLP BibTeX RDF
29	Lip Yee Por	Frequency of occurrence analysis attack and its countermeasure.	Int. Arab J. Inf. Technol.	2013	DBLP BibTeX RDF
29	Michael Smithson, David V. Budescu, Stephen B. Broomell, Han-Hui Por	Never say "not": Impact of negative wording in probability phrases on imprecise probability judgments.	Int. J. Approx. Reason.	2012	DBLP DOI BibTeX RDF
29	Lip Yee Por, Sim Ying Ong, Delina Beh Yin, Maizatul Akmar Ismail 0001	A grid enabled e-theses and dissertations repository system.	Int. Arab J. Inf. Technol.	2012	DBLP BibTeX RDF
29	Lip Yee Por, KokSheik Wong, Kok Onn Chee	UniSpaCh: A text-based data hiding method using Unicode space characters.	J. Syst. Softw.	2012	DBLP DOI BibTeX RDF
29	Mun Fei Yam, Mariam Ahmad, Lip Yee Por, Lee Fung Ang, Rusliza Basir, Mohd. Zaini Asmawi	Screening of Stepping Forces in an Arthritic Rat Model Using a Novel Analgesic Meter and Data Acquisition System.	Sensors	2012	DBLP DOI BibTeX RDF
29	Michael S. Payne, Attila Pór, Pavel Valtr 0001, David R. Wood	On the Connectivity of Visibility Graphs.	Discret. Comput. Geom.	2012	DBLP DOI BibTeX RDF
29	Por-Shen Lai, Hsin-Chia Fu	Variance enhanced K-medoid clustering.	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
29	Tobias Müller 0001, Attila Pór, Jean-Sébastien Sereni	Graphs with Four Boundary Vertices.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
29	Tibor Dobján, Szilveszter Pletl, Tamás Deák, László Doszpod, Gábor Pór	Identification of the Place and Materials of Knocking Objects in Flow Induced Vibration.	Acta Cybern.	2011	DBLP DOI BibTeX RDF
29	Molly W. Dunkum, Peter Hamburger, Attila Pór	Destroying cycles in digraphs.	Comb.	2011	DBLP DOI BibTeX RDF
29	Zachary Abel, Brad Ballinger, Prosenjit Bose, Sébastien Collette, Vida Dujmovic, Ferran Hurtado, Scott Duke Kominers, Stefan Langerman, Attila Pór, David R. Wood	Every Large Point Set contains Many Collinear Points or an Empty Pentagon.	Graphs Comb.	2011	DBLP DOI BibTeX RDF
29	Mun Fei Yam, Lip Yee Por, Kok Khiang Peh, Mariam Ahmad, Mohd. Zaini Asmawi, Lee Fung Ang, Delina Beh Mei Yin, Sim Ying Ong, Muthanna Fawzy Abdulkarim, Ghassan Zuhair Abdullah, Ibrahim Muhammad Salman, Omar Ziad Ameer, Elsnoussi Ali Hussin Mohamed, Mohd Akmal Hashim, Elham Farsi, Sook Yee Hor	Development of a Stepping Force Analgesic Meter for a Rat Arthritic Model.	Sensors	2011	DBLP DOI BibTeX RDF
29	Por-Shen Lai, Hsin-Chia Fu	A polygon description based similarity measurement of stock market behavior.	Expert Syst. Appl.	2010	DBLP DOI BibTeX RDF
29	Attila Pór, David R. Wood	On Visibility and Blockers.	J. Comput. Geom.	2010	DBLP DOI BibTeX RDF
29	Dilip Kumar Limbu, Yeow Kee Tan, Lawrence T. C. Por	FusionBot: a barista robot - fusionbot serving coffees to visitors during technology exhibition event.	HRI	2010	DBLP DOI BibTeX RDF	barista robot, human-robot interaction, social robotics, service robot
29	Lawrence T. C. Por, Adrian Hwang Jian Tay, Dilip Kumar Limbu	Olivia @ TechFest 09: receptionist robot impressed visitors with lively interactions.	HRI	2010	DBLP DOI BibTeX RDF	receptionist robot, human-robot interaction, social robotics, service robot
29	Imre Bárány, Attila Pór, Pavel Valtr 0001	Paths with No Small Angles.	SIAM J. Discret. Math.	2009	DBLP DOI BibTeX RDF
29	Peter Hamburger, Attila Pór, Matt Walsh 0001	Kneser Representations of Graphs.	SIAM J. Discret. Math.	2009	DBLP DOI BibTeX RDF
29	Nicolas Lichiardopol, Attila Pór, Jean-Sébastien Sereni	A Step toward the Bermond--Thomassen Conjecture about Disjoint Cycles in Digraphs.	SIAM J. Discret. Math.	2009	DBLP DOI BibTeX RDF
29	Attila Pór, David R. Wood	Colourings of the cartesian product of graphs and multiplicative Sidon sets.	Comb.	2009	DBLP DOI BibTeX RDF
29	Zachary Abel, Brad Ballinger, Prosenjit Bose, Sébastien Collette, Vida Dujmovic, Ferran Hurtado, Scott Duke Kominers, Stefan Langerman, Attila Pór, David R. Wood	Every Large Point Set contains Many Collinear Points or an Empty Pentagon.	CoRR	2009	DBLP BibTeX RDF
29	Zachary Abel, Brad Ballinger, Prosenjit Bose, Sébastien Collette, Vida Dujmovic, Ferran Hurtado, Scott Duke Kominers, Stefan Langerman, Attila Pór, David R. Wood	Every Large Point Set contains Many Collinear Points or an Empty Pentagon.	CCCG	2009	DBLP BibTeX RDF
29	Tan Fong Ang, Ling Teck Chaw, Keat Keong Phang, Lip Yee Por	Automatic Web Services Deployment.	CSIE (7)	2009	DBLP DOI BibTeX RDF
29	Hsiao-Tien Pao, Y. H. Chen, Por-Shen Lai, Yeong-Yuh Xu, Hsin-Chia Fu	Constructing and application of multimedia TV-news archives.	Expert Syst. Appl.	2008	DBLP DOI BibTeX RDF
29	Jirí Fiala 0001, Jan Kratochvíl, Attila Pór	On the computational complexity of partial covers of Theta graphs.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
29	Tobias Müller 0001, Attila Pór, Jean-Sébastien Sereni	Lower bounding the boundary of a graph in terms of its maximum or minimum degree.	Discret. Math.	2008	DBLP DOI BibTeX RDF
29	Imre Bárány, Attila Pór, Pavel Valtr 0001	Paths with no Small Angles.	LATIN	2008	DBLP DOI BibTeX RDF
29	Daniel Král, Edita Mácajová, Attila Pór, Jean-Sébastien Sereni	Edge-colorings of cubic graphs with elements of point-transitive Steiner triple systems.	Electron. Notes Discret. Math.	2007	DBLP DOI BibTeX RDF
29	Attila Pór, David R. Wood	Colourings of the Cartesian Product of Graphs and Multiplicative Sidon Sets.	Electron. Notes Discret. Math.	2007	DBLP DOI BibTeX RDF
29	Daniel Král, Edita Mácajová, Attila Pór, Jean-Sébastien Sereni	Characterization of affine Steiner triple systems and Hall triple systems.	Electron. Notes Discret. Math.	2007	DBLP DOI BibTeX RDF
29	Attila Pór, David R. Wood	No-Three-in-Line-in-3D.	Algorithmica	2007	DBLP DOI BibTeX RDF
29	Oswin Aichholzer, Thomas Hackl, Michael Hoffmann 0001, Clemens Huemer, Attila Pór, Francisco Santos, Bettina Speckmann, Birgit Vogtenhuber	Maximizing Maximal Angles for Plane Straight-Line Graphs	CoRR	2007	DBLP BibTeX RDF
29	Por-Shen Lai, Hsin-Chia Fu	A polygon description based similarity measurement of stock market behavior.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
29	Oswin Aichholzer, Thomas Hackl, Michael Hoffmann 0001, Clemens Huemer, Attila Pór, Francisco Santos, Bettina Speckmann, Birgit Vogtenhuber	Maximizing Maximal Angles for Plane Straight-Line Graphs.	WADS	2007	DBLP DOI BibTeX RDF
29	Attila Pór, Pavel Valtr 0001	On the positive fraction Erdos-Szekeres theorem for convex sets.	Eur. J. Comb.	2006	DBLP DOI BibTeX RDF
29	Juan José Montellano-Ballesteros, Attila Pór, Ricardo Strausz	Tverberg-Type Theorems for Separoids.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
29	Lip Yee Por, M. T. Su, T. C. Ling, Chee Sun Liew, Tan Fong Ang, Keat Keong Phang	Issues of Establishing a Campus-wide Computational Grid Infrastructure in the GERANIUM Project.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
29	Chun-Chieh Tseng, Mao-Fu Lai, Por-Song Lee	Image Inspection System for Defect Detection of Multilayer Ceramic Capacitors.	IIH-MSP	2006	DBLP DOI BibTeX RDF
29	Jirí Fiala 0001, Jan Kratochvíl, Attila Pór	On the computational complexity of partial covers of Theta graphs.	Electron. Notes Discret. Math.	2005	DBLP DOI BibTeX RDF
29	Jan Kára, Attila Pór, David R. Wood	On the Chromatic Number of the Visibility Graph of a Set of Points in the Plane.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
29	Por-Shen Lai, Shih-Sian Cheng, S.-Yuh Sun, T. Y. Huang, J. M. Su, Yeong Y. Xu, Y. H. Chen, Shun C. Chuang, C. L. Tseng, C. L. Hsieh, Y. L. Lu, Y. C. Shen, J. R. Chen, J. B. Nie, F. P. Tsai, Hsiang-Cheh Huang, Hsiao-Tien Pao, Hsin-Chia Fu	Automated Information Mining on Multimedia TV News Archives.	KES (2)	2005	DBLP DOI BibTeX RDF
29	Martin Kutz, Attila Pór	Angel, Devil, and King.	COCOON	2005	DBLP DOI BibTeX RDF
29	Lip Yee Por, Foong Hsian Lim	Software Engineering Express (SEE) - An E-Learning Prototype for Software Engineering.	iiWAS	2005	DBLP BibTeX RDF
29	Lip Yee Por, Abu Bakar Zaitun	Personalising an E-Learning System.	iiWAS	2005	DBLP BibTeX RDF
29	Vida Dujmovic, Attila Pór, David R. Wood	Track Layouts of Graphs.	Discret. Math. Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
29	Vida Dujmovic, Attila Pór, David R. Wood	Track Layouts of Graphs	CoRR	2004	DBLP BibTeX RDF
29	Yeong-Yuh Xu, Y. H. Chen, C. L. Tseng, Por-Shen Lai, Hsin-Chia Fu	Multimedia TV news browsing system.	ICME	2004	DBLP BibTeX RDF
29	Attila Pór, David R. Wood	No-Three-in-Line-in-3D.	GD	2004	DBLP DOI BibTeX RDF
29	Por-Shen Lai, L. Y. Lai, T. C. Tseng, Y. H. Chen, Hsin-Chia Fu	A Fully Automated Web-Based TV-News System.	PCM (3)	2004	DBLP DOI BibTeX RDF
29	Attila Pór	A Partitioned Version of the Erdös-Szekeres Theorem for Quadrilaterals.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
29	Kam-por Kwan	Self-study at Hong Kong Polytechnic: student reactions.	Br. J. Educ. Technol.	1992	DBLP DOI BibTeX RDF
16	Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan	A symbolic verifier for CUDA programs.	PPoPP	2010	DBLP DOI BibTeX RDF	spmd, formal verification, symbolic analysis, cuda
16	Vineet Kahlon, Chao Wang 0001, Aarti Gupta	Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.	CAV	2009	DBLP DOI BibTeX RDF
16	Lucia Tilio, Viviana Lanza, Francesco Scorza, Beniamino Murgante	Open Source Resources and Web 2.0 Potentialities for a New Democratic Approach in Programming Practices.	WSKS (1)	2009	DBLP DOI BibTeX RDF	OGC standards, programming assessment, ontologies, open source, BLOG, ICT, e-democracy, WEBGIS, Democracy, e-participation
16	María del Rocío Gómez Díaz, Rodrigo Sandoval-Almazán	Gestión del conocimiento estrategia de vinculación en los centros comunitarios de aprendizaje.	D.GO	2009	DBLP BibTeX RDF	centros comunitarios de aprendizaje, conocimiento explícito, conocimiento tácito, gestión del conocimiento
16	Florian Pfender	Visibility Graphs of Point Sets in the Plane.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF
16	Chao Wang 0001, Zijiang Yang 0006, Vineet Kahlon, Aarti Gupta	Peephole Partial Order Reduction.	TACAS	2008	DBLP DOI BibTeX RDF
16	Susan M. Munn, Jeff B. Pelz	3D point-of-regard, position and head orientation from a portable monocular video-based eye tracker.	ETRA	2008	DBLP DOI BibTeX RDF	eye-head coordination, point-of-regard, eye tracking, three-dimensional, ego-motion, head orientation
16	Hanno Lefmann	No lGrid-Points in Spaces of Small Dimension.	AAIM	2008	DBLP DOI BibTeX RDF
16	Sami Evangelista, Christophe Pajault	Some Solutions to the Ignoring Problem.	SPIN	2007	DBLP DOI BibTeX RDF	explicit model checking, ignoring problem, cycle proviso, partial order reduction
16	Sofía N. Galicia-Haro, Alexander F. Gelbukh	Web-Based Model for Disambiguation of Prepositional Phrase Usage.	MICAI	2007	DBLP DOI BibTeX RDF
16	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
16	Pedro J. Trujillo Tarazona	Field evaluation of a protocol for data transmission through the distribution lines of the low voltage grid.	EATIS	2007	DBLP DOI BibTeX RDF	PowerBus, automatic meter reading, power line carrier, embedded system, PLC, AMR
16	Joachim Pouderoux, Salvatore Spinello	Global Contour Lines Reconstruction in Topographic Maps.	ICDAR	2007	DBLP DOI BibTeX RDF
16	Arbind K. Gupta, S. Kumar, Ronak Gupta, Santanu Chaudhury, S. Joshi	Enhancement of Old Manuscript Images.	ICDAR	2007	DBLP DOI BibTeX RDF
16	Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang	Stateful Dynamic Partial-Order Reduction.	ICFEM	2006	DBLP DOI BibTeX RDF
16	Luiz Fernando Gomes Soares, Rogério Ferreira Rodrigues, Romualdo Monteiro de Resende Costa	Automatic building of frameworks for processing XML documents.	WebMedia	2006	DBLP DOI BibTeX RDF	middleware declarativo, TV digital, maestro, XML, framework, NCL, SBTVD
16	Ronaldo Husemann, Gaspare G. Bruno, Valter Roesler	An approach to increase the performance of motion estimation algorithms implemented in hardware.	WebMedia	2006	DBLP DOI BibTeX RDF	PMVFast, estimativa de movimento
16	Marcelo de Almeida Maia, Marcus Vinicius de Melo Rocha, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos	Network bandwidth requirements for optimized streaming media transmission to interactive users.	WebMedia	2006	DBLP DOI BibTeX RDF
16	Rogério Ferreira Rodrigues, Márcio Ferreira Moreno, Luiz Fernando Gomes Soares	Presentation control of declarative applications in interactive digital tv system receivers.	WebMedia	2006	DBLP DOI BibTeX RDF	formatador hipermédia, ginga-NCL, máquina de apresentação, maestro, middleware declarativo, nested context language, SBTVD
16	Luiz Eduardo Cunha Leite, Guido Lemos de Souza Filho, Silvio Romero de Lemos Meira, Patrick Carlos T. de Arújo, Jefferson Ferreira de A. Lima, Sindolfo Miranda Filho	A component model proposal for embedded systems and its use to add reconfiguration capabilities to the FlexTV middleware.	WebMedia	2006	DBLP DOI BibTeX RDF	middleware, component based development, digital television, context representation
16	Alan Silva, Rômulo Silva de Oliveira, Ig Ibert Bittencourt	An environment for supporting automated electronic negotiations using ontologies and production rules.	WebMedia	2006	DBLP DOI BibTeX RDF
16	José Geraldo Ribeiro Jr., Glauber Tadeu S. Carmo, Marco Túlio de Oliveira Valente	Invocation of replicated web services using smart proxies.	WebMedia	2006	DBLP DOI BibTeX RDF
16	Adilson B. Lopes, Carlos Eduardo da Silva, Glêdson Elias da Silveira, Maurício F. Magalhães	A meta-component model for dynamic adaptation support in a middleware system for interactive tv.	WebMedia	2006	DBLP DOI BibTeX RDF	software components, interactive TV, adaptive middleware
16	Qadeer Ahmad Khan, G. K. Siddhartha	A sequence independent power-on-reset circuit for multi-voltage systems.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Ma Fan Yung	On-Chip Supply Voltage Measurement Technique.	APCCAS	2006	DBLP DOI BibTeX RDF
16	Dimitris Gatzouras, Apostolos Giannopoulos, Nikolaos Markoulakis	Lower Bound for the Maximal Number of Facets of a 0/1 Polytope.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
16	Sofía N. Galicia-Haro, Alexander F. Gelbukh	Towards the Automatic Learning of Idiomatic Prepositional Phrases.	MICAI	2005	DBLP DOI BibTeX RDF
16	Yunlei Li, Jin Liu	A 13.56 MHz RFID transponder front-end with merged load modulation and voltage doubler-clamping rectifier circuits.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
16	J. Hsieh	Reconstruction algorithm for single circular orbit cone beam scans.	ISBI	2002	DBLP DOI BibTeX RDF
16	Harry M. Sneed	Wrapping Legacy COBOL Programs behind an XML-Interface.	WCRE	2001	DBLP DOI BibTeX RDF	XML, Reuse, Reengineering, Encapsulation, COBOL, Wrapping
16	Fritz Schwarz	ALLTYPES: An ALgebraic Language and TYPE System.	AISC	1998	DBLP DOI BibTeX RDF
16	Hui Cui 0001, Zhiguo Wan, Tianyu Zhaolu, Huaqun Wang, Atsuko Miyaji	Pay-Per-Proof: Decentralized Outsourced Multi-User PoR for Cloud Storage Payment Using Blockchain.	IEEE Trans. Cloud Comput.	2024	DBLP DOI BibTeX RDF
16	Lidia Ramírez Lemus, Carlos Alberto Rodríguez Rodríguez, José Miguel Barrón-Adame	Datos mercadológicos del uso y consumo de las compras por internet (e-commerce) de los empresarios en pequeña escala México.	Computación y Sistemas (CyS)	2024	DBLP BibTeX RDF
16	María Sánchez, Laura Fernández, Julián Arias, Mateo Cámara, Giulia Comini, Adam Gabrys, José-Luis Blanco, Juan Ignacio Godino-Llorente, Luis Alfonso Hernández Gómez	Del Visual al Auditivo: Sonorización de Escenas Guiada por Imagen.	CoRR	2024	DBLP DOI BibTeX RDF
16	Bruna Araújo de Castro Oliveira	Ontologia para monitorar a deficiência mental em seus déficts no processamento da informação por declínio cognitivo e evitar agressões psicológicas e físicas em ambientes educacionais com ajuda da I.A.	CoRR	2024	DBLP DOI BibTeX RDF
16	Cleon Xavier Pereira Júnior, Rafael Dias Araújo, Fabiano Azevedo Dorça	Uma Abordagem para Recomendação Personalizada de Materiais Educacionais por meio de Filtragem Baseada em Conteúdo em Ambientes Virtuais de Aprendizagem.	Revista Brasileira de Informática na Educ.	2023	DBLP DOI BibTeX RDF
16	Pablo Werlang, Patrícia A. Jaques	Detecção por face de emoções de aprendizagem: abordagem baseada em redes neurais profundas e fluxo de emoções.	Revista Brasileira de Informática na Educ.	2023	DBLP DOI BibTeX RDF
16	Jose Damian Lopez Diaz	Algoritmo Concurrente por Conjuntos de Pilas con Multiplicidad: SetStackLogic.	CoRR	2023	DBLP DOI BibTeX RDF
16	Luiz Gustavo Dias, Bruno Lopes 0001, Daniel de Oliveira 0001	MAESTRO: Uma Abordagem para a Composição e Análise de Workflows Baseados em Scripts por Meio de Ontologias.	SBBD	2023	DBLP BibTeX RDF
16	Renato Gomes Marcacini, Willian Dener de Oliveira, Agma Juci Machado Traina	Calibração de Distância em Métodos de Acesso Métrico por meio de Realimentação de Relevância.	SBBD	2023	DBLP BibTeX RDF
16	Diego Menegazzi, Carla Silva 0001	Conformidade com a LGPD por meio de requisitos de negócio e requisitos de solução.	WER	2023	DBLP DOI BibTeX RDF
16	João V. D. Sobrinho, Igor D. Alvarenga, Miguel Elias M. Campista	Redução do Erro de Representação em Sensoriamento Compressivo com Modelos Generativos Usando Ajuste por Pivô.	SBRC	2023	DBLP BibTeX RDF
16	Henrique G. Salvador, Daniel M. Batista, Aldri Luiz dos Santos, Michele Nogueira	Detecção Eficiente de Anomalias em Redes de Data Centers Apoiada por Aprendizado de Máquina e Otimizador do Lobo Cinzento para Seleção de Atributos.	SBRC	2023	DBLP BibTeX RDF
16	Samuel P. C. Sena, Luiz Filipe M. Vieira, Marcos A. M. Vieira, Alex Borges Vieira, Edelberto F. Silva, José Augusto Miranda Nacif	Um Protocolo Multicast para Comunicação por Luz Visível (VLC).	SBRC	2023	DBLP BibTeX RDF
16	Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan	PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).	TACAS (2)	2023	DBLP DOI BibTeX RDF