Search results for "Place"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Tye Rattenbury, Nathaniel Good, Mor Naaman	Towards automatic extraction of event and place semantics from flickr tags.	SIGIR	2007	DBLP DOI BibTeX RDF	event identification, place identification, tag semantics, word semantics, tagging systems
28	Alistair J. Edwardes, Ross S. Purves	Eliciting concepts of place for text-based image retrieval.	GIR	2007	DBLP DOI BibTeX RDF	basic levels, natural language description, semantics, image retrieval, place, concept ontology
28	Gianni Franceschini, Viliam Geffert	An in-place sorting with O(nlog n) comparisons and O(n) moves.	J. ACM	2005	DBLP DOI BibTeX RDF	Sorting in-place
28	Kynthia Brunette, Matthew Eisenstadt, Erik Pukinskis, William Ryan	Meeteetse: social well-being through place attachment.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	artificial companionship, place attachment, social well-being, community, aging, elderly, isolation
28	Beatriz L. Boada, Dolores Blanco, Luis Moreno 0001	Symbolic Place Recognition in Voronoi-Based Maps by Using Hidden Markov Models.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	hidden Markov models, mobile robots, Voronoi diagram, place recognition
28	Laroussi Bouguila, Florian Evéquoz, Michèle Courant, Béat Hirsbrunner	Walking-pad: a step-in-place locomotion interface for virtual environments.	ICMI	2004	DBLP DOI BibTeX RDF	step-in-place, walking-pad, virtual environment, sensors, locomotion
28	Sineenard Pinyapong, Toshikazu Kato	Query Processing Algorithms for Time, Place, Purpose and Personal Profile Sensitive Mobile Recommendation.	CW	2004	DBLP DOI BibTeX RDF	Query Processing, Time, Mobile Environment, Place, Purpose, Personal Profile
28	Anand Srivastav, Hartmut Schroeter, Christoph Michel	Approximation Algorithms for Pick-and-Place Robots.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	pick-and-place robots, printed circuit board assembly problem, bipartite travelling salesman problem, approximation algorithms, combinatorial optimization, matching
28	Gudjon Gudjonsson, William H. Winsborough	Compile-time memory reuse in logic programming languages through update in place.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	compile-time garbage collection, local reuse, reuse map, update in place, Prolog
28	Manuel Sánchez, Juan López, Oscar G. Plata, Emilio L. Zapata	An efficient architecture for the in place fast cosine transform.	ASAP	1997	DBLP DOI BibTeX RDF	in place fast cosine transform, image encoding, inverse cosine transform, locality, pipelining, image compression, discrete cosine transforms, DCT, VLSI implementation
28	Tat-Jun Chin, Hanlin Goh, Joo-Hwee Lim	Using densely recorded scenes for place recognition.	ICASSP	2008	DBLP DOI BibTeX RDF
28	Pamela J. Ludford, Reid Priedhorsky, Ken Reily, Loren G. Terveen	Capturing, sharing, and using local place information.	CHI	2007	DBLP DOI BibTeX RDF	disclosure interface, local knowledge, location-based reminder, map-based interface, local search, location privacy
28	Sarah Kenderdine	The Irreducible Ensemble: Place-Hampi.	VSMM	2007	DBLP DOI BibTeX RDF	co-evolutionary narrative, omnistereoscopic panoramas, autonomous agency, Hampi, Indian mythology, Symmetrical Archaeology, virtual heritage
28	Alex Leng Phuan Tay	Biologically Inspired KFLANN Place Fields for Robot Localization.	IJCNN	2006	DBLP DOI BibTeX RDF
28	David Aspinall 0001, Martin Hofmann 0001	Another Type System for In-Place Update.	ESOP	2002	DBLP DOI BibTeX RDF
28	Christopher B. Jones, Harith Alani, Douglas Tudhope	Geographical Information Retrieval with Ontologies of Place.	COSIT	2001	DBLP DOI BibTeX RDF	similarity measures, gazetteers, relevance ranking, thesauri
27	Thomas Place, Marc Zeitoun	Temporal hierarchies of regular languages.	CoRR	2024	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Dot-depth three, return of the J-class.	CoRR	2024	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic.	CSL	2024	DBLP DOI BibTeX RDF
27	Petra de Place Bak, Jessica Gabriele Walter, Anja Bechmann	Digital false information at scale in the European Union: Current state of research in various disciplines, and future directions.	New Media Soc.	2023	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Closing star-free closure.	CoRR	2023	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	A generic characterization of generalized unary temporal logic and two-variable first-order logic.	CoRR	2023	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	All about unambiguous polynomial closure.	TheoretiCS	2023	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Group Separation Strikes Back.	LICS	2023	DBLP DOI BibTeX RDF
27	Samantha Brunhaver, Cecilia La Place	WIP: Developing an Instrument to Measure Adaptability Among Engineering Students.	FIE	2023	DBLP DOI BibTeX RDF
27	Cecilia La Place, Shawn Jordan	Meta-Analysis of Hackathon Literature in IEEE Xplore Using Affinity Spaces.	FIE	2023	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Characterizing level one in group-based concatenation hierarchies.	CoRR	2022	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Group separation strikes back.	CoRR	2022	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Unambiguous polynomial closure explained.	CoRR	2022	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	A generic polynomial time approach to separation by first-order logic without quantifier alternation.	CoRR	2022	DBLP DOI BibTeX RDF
27	Thomas Place	The amazing mixed polynomial closure and its applications to two-variable first-order logic.	CoRR	2022	DBLP BibTeX RDF
27	Thomas Place	The amazing mixed polynomial closure and its applications to two-variable first-order logic.	LICS	2022	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Characterizing Level One in Group-Based Concatenation Hierarchies.	CSR	2022	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	How Many Times Do You Need to Go Back to the Future in Unary Temporal Logic?	LATIN	2022	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	A Generic Polynomial Time Approach to Separation by First-Order Logic Without Quantifier Alternation.	FSTTCS	2022	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separation for dot-depth two.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
27	Brooke Place, Cortni Troublefield, Robert D. Murphy, Anthony P. Sinai, Abhijit Patwardhan	Computer Aided Image Processing to Facilitate Determination of Congruence in Manual Classification of Mitochondrial Morphologies in Toxoplasma gondii Tissue Cysts.	EMBC	2021	DBLP DOI BibTeX RDF
27	Cecilia La Place, Jemal Halkiyo, Michael S. Sheppard, Nadia N. Kellam, Adam R. Carberry	Cultivating an Additive Innovation Culture through the Communal Observations of New EXperiences in Teaching (CONEXT) Protocol.	FIE	2021	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Adding Successor: A Transfer Theorem for Separation and Covering.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
27	Célestin Doyen, Stéphane Ricq, Pierre Magnan, Olivier Marcelot, Marios Barlas, Sébastien Place	Electrical Characterization of the Backside Interface on BSI Global Shutter Pixels with Tungsten-Shield Test Structures on CDTI Process.	Sensors	2020	DBLP DOI BibTeX RDF
27	Thomas Place	Deciding Classes of Regular Languages: The Covering Approach.	LATA	2020	DBLP DOI BibTeX RDF
27	Vatricia Edgar, Cecilia La Place, Julia Schmidt, Ajay Bansal, Srividya Kona Bansal	SustainOnt: an ontology for defining an index of neighborhood sustainability across domains.	SBD@SIGMOD	2020	DBLP DOI BibTeX RDF
27	Dibyajyoti Biswal, Mohammad Javad Mollakazemi, Brooke Place, Abhijit Patwardhan	Heart Rate and Breathing Rate Calculated from Cheeks and Lips Using Green and Derived Colors from Video.	iSES	2020	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Going Higher in First-Order Quantifier Alternation Hierarchies on Words.	J. ACM	2019	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Generic Results for Concatenation Hierarchies.	Theory Comput. Syst.	2019	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	On all things star-free.	CoRR	2019	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separation and covering for group based concatenation hierarchies.	CoRR	2019	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separation for dot-depth two.	CoRR	2019	DBLP BibTeX RDF
27	Mikolaj Bojanczyk, Filippo Cavallari, Thomas Place, Michal Skrzypczak	Regular tree languages in low levels of the Wadge Hierarchy.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
27	Thomas Place, Varun Ramanathan 0001, Pascal Weil	Covering and separation for logical fragments with modular predicates.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
27	Javier Rodríguez-Falces, Taian M. Vieira, Nicolas Place, Alberto Botter	Potentiation of the first and second phases of the M wave after maximal voluntary contractions in the biceps brachii muscle.	Medical Biol. Eng. Comput.	2019	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separation and covering for group based concatenation hierarchies.	LICS	2019	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	On All Things Star-Free.	ICALP	2019	DBLP DOI BibTeX RDF
27	Cecilia La Place, Aisha Urooj Khan, Ali Borji	Segmenting Sky Pixels in Images: Analysis and Comparison.	WACV	2019	DBLP DOI BibTeX RDF
27	Juan Carlos Vizcarra, Ryan Place, Li Tong 0001, David A. Gutman, May Dongmei Wang	Fusion In Breast Cancer Histology Classification.	BCB	2019	DBLP DOI BibTeX RDF
27	Mikolaj Bojanczyk, Filippo Cavallari, Thomas Place, Michal Skrzypczak	Regular tree languages in low levels of Wadge Hierarchy.	CoRR	2018	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	The complexity of separation for levels in concatenation hierarchies.	CoRR	2018	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	A generic characterization of Pol(C).	CoRR	2018	DBLP BibTeX RDF
27	Thomas Place, Varun Ramanathan 0001, Pascal Weil	Covering and separation for logical fragments with modular predicates.	CoRR	2018	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	The Covering Problem.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
27	Thomas Place	Separating regular languages with two quantifier alternations.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
27	Matthew E. MacGilvray, Evgenia Shishkova, Deborah Chasman, Michael Place, Anthony Gitter, Joshua J. Coon, Audrey P. Gasch	Network inference reveals novel connections in pathways regulating growth and defense in the yeast salt response.	PLoS Comput. Biol.	2018	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separating Without Any Ambiguity.	ICALP	2018	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	The Complexity of Separation for Levels in Concatenation Hierarchies.	FSTTCS	2018	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	The Covering Problem.	CoRR	2017	DBLP BibTeX RDF
27	Thomas Place	Separating regular languages with two quantifier alternations.	CoRR	2017	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Generic Results for Concatenation Hierarchies.	CoRR	2017	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Going Higher in First-Order Quantifier Alternation Hierarchies on Words.	CoRR	2017	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Adding successor: A transfer theorem for separation and covering.	CoRR	2017	DBLP BibTeX RDF
27	Cecilia La Place, Aisha Urooj Khan, Ali Borji	Segmenting Sky Pixels in Images.	CoRR	2017	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separation for dot-depth two.	LICS	2017	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Concatenation Hierarchies: New Bottle, Old Wine.	CSR	2017	DBLP DOI BibTeX RDF
27	Russell Brown, Zeeshan Lakhani, Paul Place	Big(ger) Sets: decomposed delta CRDT Sets in Riak.	CoRR	2016	DBLP BibTeX RDF
27	Thomas Place, Luc Segoufin	Decidable Characterization of FO2(<, +1) and locality of DA.	CoRR	2016	DBLP BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separating Regular Languages with First-Order Logic.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
27	Théo Pierron, Thomas Place, Marc Zeitoun	Quantifier Alternation for Infinite Words.	FoSSaCS	2016	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	The Covering Problem: A Unified Approach for Investigating the Expressive Power of Logics.	MFCS	2016	DBLP DOI BibTeX RDF
27	Russell Brown, Zeeshan Lakhani, Paul Place	Big(ger) sets: decomposed delta CRDT sets in Riak.	PaPoC@EuroSys	2016	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	The tale of the quantifier alternation hierarchy of first-order logic over words.	ACM SIGLOG News	2015	DBLP DOI BibTeX RDF
27	H. S. J. Rashid, C. S. Place, David Mba, R. L. C. Keong, A. Healey, W. Kleine-Beek, M. Romano	Reliability model for helicopter main gearbox lubrication system using influence diagrams.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	A Transfer Theorem for the Separation Problem.	CoRR	2015	DBLP BibTeX RDF
27	Thomas Place, Luc Segoufin	Deciding definability in FO2(	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
27	Théo Pierron, Thomas Place, Marc Zeitoun	Quantifier Alternation for Infinite Words.	CoRR	2015	DBLP BibTeX RDF
27	Thomas Place	Separating Regular Languages with Two Quantifiers Alternations.	LICS	2015	DBLP DOI BibTeX RDF
27	Katherine Mason, Carol Place, David Plotner	Challenges with multiple translations in international surveys.	GHTC	2015	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separation and the Successor Relation.	STACS	2015	DBLP DOI BibTeX RDF
27	H. S. J. Rashid, C. S. Place, Graham R. Braithwaite	Eradicating root causes of aviation maintenance errors: introducing the AMMP.	Cogn. Technol. Work.	2014	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Going higher in the First-order Quantifier Alternation Hierarchy on Words.	CoRR	2014	DBLP BibTeX RDF
27	Thomas Place, Lorijn van Rooijen, Marc Zeitoun	Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
27	Javier Rodríguez-Falces, Nicolas Place	Effects of muscle fibre shortening on the characteristics of surface motor unit potentials.	Medical Biol. Eng. Comput.	2014	DBLP DOI BibTeX RDF
27	Nicolae Cristian Sintamarean, Huai Wang, Frede Blaabjerg, Peter de Place Rimmen	A design tool to study the impact of mission-profile on the reliability of SiC-based PV-inverter devices.	Microelectron. Reliab.	2014	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Going Higher in the First-Order Quantifier Alternation Hierarchy on Words.	ICALP (2)	2014	DBLP DOI BibTeX RDF
27	Trond Lossius, Théo de la Hogue, Pascal Baltazar, Timothy A. Place, Nathan Wolek, Julien Rabin	Model-View-Controller separation in Max using Jamoma.	ICMC	2014	DBLP BibTeX RDF
27	Adam Place, Liam Lacey, Thomas Mitchell	AlphaSphere from Prototype to Product.	NIME	2014	DBLP DOI BibTeX RDF
27	Thomas Place, Marc Zeitoun	Separating regular languages with first-order logic.	CSL-LICS	2014	DBLP DOI BibTeX RDF
27	H. S. J. Rashid, C. S. Place, Graham R. Braithwaite	Investigating the investigations: a retrospective study in the aviation maintenance error causation.	Cogn. Technol. Work.	2013	DBLP DOI BibTeX RDF
27	Thomas Place, Lorijn van Rooijen, Marc Zeitoun	Separating regular languages by piecewise testable and unambiguous languages	CoRR	2013	DBLP BibTeX RDF
27	Thomas Place, Lorijn van Rooijen, Marc Zeitoun	Separating Regular Languages by Piecewise Testable and Unambiguous Languages.	MFCS	2013	DBLP DOI BibTeX RDF
27	Adam Place, Liam Lacey, Thomas Mitchell	AlphaSphere.	NIME	2013	DBLP DOI BibTeX RDF
27	Thomas Place, Lorijn van Rooijen, Marc Zeitoun	Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.	FSTTCS	2013	DBLP DOI BibTeX RDF