Search results for "Locales"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	David I. Havelock	The Topology of Locales and Its Effects on Position Uncertainty.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	target position uncertainty, clustering, locales, topology, topology, connectivity, computerised picture processing, computerised pattern recognition, digital image, noise tolerance, adjacency
87	Florian Kammüller, Markus Wenzel 0001, Lawrence C. Paulson	Locales - A Sectioning Concept for Isabelle.	TPHOLs	1999	DBLP DOI BibTeX RDF
73	Gregor McEwan, Saul Greenberg	Supporting social worlds with the community bar.	GROUP	2005	DBLP DOI BibTeX RDF	focus/nimbus, locales framework, groupware, casual interaction
71	Clemens Ballarin	Locales and Locale Expressions in Isabelle/Isar.	TYPES	2003	DBLP DOI BibTeX RDF
71	James Au, Ze-Nian Li, Mark S. Drew	Object Segmentation and Tracking Using Video Locales.	ICPR (2)	2002	DBLP DOI BibTeX RDF
70	He Wei	Remarks on Completely Regular Lindelöf Reflection of Locales.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	completely regular Lindelöf reflection of locales, l-ring, real-valued continuous functions on locales, cozero sets
65	Jian Wang, Ze-Nian Li	Locale-Based Multiple Cue Algorithm For Object Segmentation.	ICME	2001	DBLP DOI BibTeX RDF
62	Till Plewe	Quotient Maps of Locales.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed surjections, simple coverings, singly generated frame extensions, extremal epimorphisms, regular epimorphisms, quotient maps, weak quotient maps, equationally closed subframes, locales
62	Jim Purbrick, Chris Greenhalgh	Extending Locales: Awareness Management in MASSIVE-3.	VR	2000	DBLP DOI BibTeX RDF	Awareness Management, Locales, Collaborative Virtual Environments, Interest Management
56	Ahmad Hanif Ahmad Baharin, Ralf Mühlberger, Andrew Loch	Mutuality: a key gap in the move to telecare.	CHINZ	2009	DBLP DOI BibTeX RDF	locales framework, design research, telecare
49	Jane Li, Scott B. Huffman, Akihito Tokuda	Good abandonment in mobile and PC internet search.	SIGIR	2009	DBLP DOI BibTeX RDF	PC internet search, good abandonment, mobile internet search, query analysis
46	Tim Mansfield, Simon M. Kaplan, Geraldine Fitzpatrick, Ted Phelps, Mark Fitzpatrick, Richard N. Taylor	Evolving Orbit: a process report on building locales.	GROUP	1997	DBLP DOI BibTeX RDF	locales framework, CSCW, computer-supported cooperative work, prototyping, collaborative systems
46	Simon M. Kaplan, Geraldine Fitzpatrick	Designing Support for Remote Intensive-Care Telehealth Using the Locales Framework.	Symposium on Designing Interactive Systems	1997	DBLP DOI BibTeX RDF	locales framework, CSCW, systems design, telemedicine, social worlds, intensive care
40	Margot Brereton, Paul Roe, Marcus Foth, Jonathan M. Bunker, Laurie Buys	Designing participation in agile ridesharing with mobile social software.	OZCHI	2009	DBLP DOI BibTeX RDF	agile ride-sharing, carpooling, designing participation, dynamic ride-sharing, community, local, locales, localization, participatory design, sustainable, user-centred design, localisation, green, intelligent transport
40	Natalia A. Romero, Gregor McEwan, Saul Greenberg	A field study of community bar: (mis)-matches between theory and practice.	GROUP	2007	DBLP DOI BibTeX RDF	locales, distributed groupware, casual interaction
40	Zinovi Tauber, Ze-Nian Li, Mark S. Drew	Locale-Based Visual Object Retrieval under Illumination Change.	ICPR	2000	DBLP DOI BibTeX RDF	Elastic Correlation, Search by Object Model, Locales, Object Recognition, Color, Illumination Invariance
38	Richard N. Ball, Anthony W. Hager, Joanne Walters-Wayland	An Intrinsic Characterization of Monomorphisms in Regular Lindelöf Locales.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D22, Secondary 54B30, 18B30, 06F25
38	Clemens Ballarin	Interpretation of Locales in Isabelle: Theories and Proof Contexts.	MKM	2006	DBLP DOI BibTeX RDF
38	Reinhold Heckmann	Probabilistic Power Domains, Information Systems, and Locales.	MFPS	1993	DBLP DOI BibTeX RDF
33	Arthur Huang, David Levinson	Retail Location Choice with Complementary Goods: An Agent-Based Model.	Complex (1)	2009	DBLP DOI BibTeX RDF	location choice, distribution pattern, clustering, agent-based model
33	Florian Haftmann, Makarius Wenzel	Constructive Type Classes in Isabelle.	TYPES	2006	DBLP DOI BibTeX RDF
33	Joseph M. Barone	Fuzzy Points and Fuzzy Prototypes.	AFSS	2002	DBLP DOI BibTeX RDF
33	David I. Havelock	Geometric Precision in Noise-Free Digital Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	RSM position estimation error, geometric precision, pattern recognition, computational geometry, computerised picture processing, computerised picture processing, computerised pattern recognition, digital images, position estimation, performance bound, spatial distribution
33	David Stack	All your consulting needs under one roof.	SIGUCCS	1987	DBLP DOI BibTeX RDF
24	Till Plewe, Ales Pultr, Anna Tozzi	Regular Monomorphisms of Hausdorff Frames.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Hausdorff property, regular monomorphisms resp. epimorphisms, quotient mappings, locales, frames
24	Prateek Sarkar, George Nagy, Jiangying Zhou, Daniel P. Lopresti	Spatial Sampling of Printed Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	random phase sampling, document defect models, scanner models, modulo-grid diagram, locales, optical character recognition, digitization, Spatial sampling
22	Simon Henry, Christopher Townsend	Compact Hausdorff Locales in Presheaf Toposes.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
22	Graham Manuell	Correction: Presenting Quotient Locales.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
22	Graham Manuell	Presenting Quotient Locales.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
22	Francesco Ciraulo	Overlap Algebras as Almost Discrete Locales.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
22	Alexandre Bonnefond	Flocking models based on local communications : From theory to simulations. (Modèles de flocage basés sur les communications locales : de la théorie aux simulations).		2023	RDF
22	Francesco Ciraulo	σ-locales in Formal Topology.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
22	Tijs van der Storm, Felienne Hermans	Gradual Grammars: Syntax in Levels and Locales.	SLE	2022	DBLP DOI BibTeX RDF
22	Davit Gogolashvili	Global and local Kernel methods for dataset shift, scalable inference and optimization. (Méthodes à noyau globales et locales pour le déplacement de données, l'inférence évolutive et l'optimisation).		2022	RDF
22	Moustapha Diaw	Modélisation Statistique des Cartes des Dissimilarités Locales d'Images et Applications. (Statistical Modeling of Local Image Dissimilarity Maps and Applications).		2022	RDF
22	Jorge Picado, Ales Pultr	On Equalizers in the Category of Locales.	Appl. Categorical Struct.	2021	DBLP DOI BibTeX RDF
22	Mehdi Djellabi	Mesure d'interactions locales pour les nœuds d'un réseau complexe : approches théorique et pratique. (Local interaction measures for the nodes of a complex network : theoretical and practical approaches).		2021	RDF
22	Paul Marillonnet	User centric personal data management. (La gestion des données personnelles par l'usager au sein des collectivités locales).		2021	RDF
22	Louis Thiry	Efficacité des méthodes locales pour la classification d'images et la regression d'énergie en physique. (On the efficiency of local methods in image classification and energy regression in physics).		2021	RDF
22	Clemens Ballarin	Exploring the Structure of an Algebra Text with Locales.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
22	José Pino-Díaz, Nuria Rodríguez-Ortega	Reutilización digital de datos públicos de la BNE como método heurístico para el análisis, mapeo y evaluación de las políticas culturales artísticas locales; aplicación a los sistemas expositivos temporales de Málaga y Valencia..	DH	2020	DBLP BibTeX RDF
22	Valentin De Bortoli	Statistiques non locales dans les images: modélisation, estimation et échantillonnage. (Non-local statistics in images: modelisation, estimation and sampling).		2020	RDF
22	Raymundo Rodríguez Romero, Luis Pastor Sánchez Fernández, Edgardo Manuel Felipe Riverón, José Juan Carbajal Hernández	Detección y rastreo de peatones empleando vectores de características de histogramas de gradientes orientados y patrones binarios locales en una máquina de soporte vectorial.	Res. Comput. Sci.	2019	DBLP BibTeX RDF
22	Themba Dube	Maximal Lindelöf Locales.	Appl. Categorical Struct.	2019	DBLP DOI BibTeX RDF
22	Jamilu Bala Ahmed II, Biswajeet Pradhan, Shattri Mansor, Zainuddin Bin Md Yusoff, Salamatu Abraham Ekpo	Aquifer Potential Assessment in Termites Manifested Locales Using Geo-Electrical and Surface Hydraulic Measurement Parameters.	Sensors	2019	DBLP DOI BibTeX RDF
22	Gaël Beck	Scalable Clustering Applying Local Accretions. (Accrétions Locales appliquées au Clustering Scalable et Distribué).		2019	RDF
22	Hiba Alili	Intégration de données basée sur la qualité pour l'enrichissement des sources de données locales dans le Service Lake. (Quality-based Data Integration for Enriching User Data Sources in Service Lakes).		2019	RDF
22	Julien Denis	Dynamic modelling of local fuel desorption and retention in the wall of nuclear fusion reactors for auto-consistent plasma-wall interaction simulations. (Modélisation dynamique de la désorption et de la rétention locales de combustible dans la paroi des réacteurs à fusion nucléaire pour la simulation auto-cohérente de l'interaction plasma-paroi).		2019	RDF
22	Dong Eon Kim	Simple and yet novel approach in flood assessment to overcome data scarcity: high quality DEM and rainfall proxies. (Approche simple et novatrice pour l'évaluation des inondations dans un contexte pauvre en données: solutions alternatives aux MNT haute résolution et aux données locales de précipitation).		2019	RDF
22	Jamila Mifdal	Application of optimal transport and non-local methods to hyperspectral and multispectral image fusion. (Application du transport optimal et des méthodes non locales dans la fusion d'images hyperspectrales et multispectrales).		2019	RDF
22	Francesco Ciraulo	σ-locales and Booleanization in Formal Topology.	CoRR	2018	DBLP BibTeX RDF
22	Francesco Ciraulo, Giovanni Sambin	Embedding locales and formal topologies into positive topologies.	Arch. Math. Log.	2018	DBLP DOI BibTeX RDF
22	Fan Zhang 0011, Ding Zhang, Yu Liu 0003, Hui Lin 0002	Representing place locales using scene elements.	Comput. Environ. Urban Syst.	2018	DBLP DOI BibTeX RDF
22	Julien Lavauzelle	Codes with locality: Constructions and applications to cryptographic protocols. (Codes à propriétés locales: constructions et applications à des protocoles cryptographiques).		2018	RDF
22	Gurvan Cabon	Non Local Analyses Certification With an Annotated Semantics. (Certification d'Analyses Non Locales avec une Sémantique Annotée).		2018	RDF
22	Christopher Townsend	Stability of Properties of Locales Under Groups.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
22	Jorge Bruno, Paul Szeptycki	Quantales, Generalised Premetrics and Free Locales.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
22	Margarida Carvalho, Lurdes Sousa	On Kan-injectivity of Locales and Spaces.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
22	Cristian Martinez	Grammaires locales étendues : principes, mise en œuvre et applications pour l'extraction de l'information. (Extended local grammars : principles, implementation and applications for information extraction).		2017	RDF
22	Antoine Tran	Object representation in local feature spaces : application to real-time tracking and detection. (Représentation d'objets dans des espaces de caractéristiques locales : application à la poursuite de cibles temps-réel et à la détection).		2017	RDF
22	Josephine N. Walwema	Digital Writing Spaces as Rhetorical Locales of Invention.	Int. J. Online Pedagog. Course Des.	2016	DBLP DOI BibTeX RDF
22	Aurora Sánchez, Javier Narea	Participación electrónica en los gobiernos locales chilenos y sus desafíos.	AMCIS	2016	DBLP BibTeX RDF
22	Guram Bezhanishvili, Wesley H. Holliday	Locales, Nuclei, and Dragalin Frames.	Advances in Modal Logic	2016	DBLP BibTeX RDF
22	Daniel G. Cabrero, Heike Winschiers-Theophilus, José L. Abdelnour-Nocera, Gereon Koch Kapuire	A hermeneutic inquiry into user-created personas in different Namibian locales.	PDC (1)	2016	DBLP DOI BibTeX RDF
22	Maxim Karpushin	Local features for RGBD image matching under viewpoint changes. (Caractéristiques locales pour la mise en correspondance d'images RGBD sous changements de position de la camera).		2016	RDF
22	Ajad Chhatkuli	Local Analytic and Global Convex Methods for the 3D Reconstruction of Isometric Deformable Surfaces. (Méthodes Analytiques Locales et Méthodes Globales Convexes pour la Reconstruction 3D de Surfaces Isométriquement Déformables).		2016	RDF
22	Hao Liu 0021	Stratégie de raffinement automatique de maillage et méthodes multi-grilles locales pour le contact : application à l'interaction mécanique Pastille-Gaine. (Automatic mesh refinement and local multigrid methods for contact problems : application to the Pellet-Cladding mechanical Interaction).		2016	RDF
22	Mayssa Jemel	Local data storage: security and availability. (Stockage des données locales : sécurité et disponibilité).		2016	RDF
22	Reinhold Heckmann	Spatiality of countably presentable locales (proved with the Baire category theorem).	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
22	Clio Andris, Zoe Andris	Exploring Institution-Based Mobility: Which Universities Attract Athletes from Distant and Diverse Locales?	MDM (2)	2015	DBLP DOI BibTeX RDF
22	Gereon Koch Kapuire, Daniel G. Cabrero, Colin Stanley, Heike Winschiers-Theophilus	Framing Technology Design in Ubuntu: Two Locales in Pastoral Namibia.	OZCHI	2015	DBLP DOI BibTeX RDF
22	Viet Phuong Le	Logo detection, recognition and spotting in context by matching local visual features. (Détection, reconnaissance et localisation de logo dans un contexte avec appariement de caractéristiques visuelles locales).		2015	RDF
22	Mathilde Le Boudic-Jamin	Similarités et divergences, globales et locales entre structures protéiques. (Global and Local Similarities and Divergences of Protein Structures ).		2015	RDF
22	Antoine Basset	Detection and characterization by local statistical approaches of dynamical events in image sequences : application to membrane fusion in TIRF microscopy. (Détection et caractérisation par des approches statistiques locales d'évènements dynamiques dans des séquences d'images : application à la fusion membranaire en microscopie TIRF).		2015	RDF
22	Themba Dube, Inderasan Naidoo, C. N. Ncube	Isocompactness in the Category of Locales.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
22	Danijela Petrovic	Verification of Selection and Heap Sort Using Locales.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
22	Clemens Ballarin	Locales: A Module System for Mathematical Theories.	J. Autom. Reason.	2014	DBLP DOI BibTeX RDF
22	Matthieu Basseur	Analyse et conception de recherches locales génériques pour l'optimisation combinatoire à un ou plusieurs objectifs.		2014	RDF
22	Thierry Guillemot	Méthodes et structures non locales pour la restauration d'images et de surfaces 3D. (Non local methods and structures for images and 3D surfaces restoration).		2014	RDF
22	Raphaël Cécé	Simulations numériques méso- et micro-échelles des circulations locales générées par des îles tropicales : cas de l'archipel de la Guadeloupe avec une application à la dispersion de polluants (WRF-LES-FLEXPART). (Meso-scale and micro-scale numerical simulations of local circulations induced by tropical islands : Case of the Guadeloupe archipelago with a pollutants dispersion case (WRF-LES-FLEXPART)).		2014	RDF
22	Christel Blaise Ngonmang Kaledje	Detection and dynamic of local communities in large social networks. (Détection et dynamique des communautés locales dans les grands réseaux sociaux).		2014	RDF
22	Erick Stattner, Martine Collard	Dynamiques globales et locales dans un réseau de télécommunications.	CoRR	2013	DBLP BibTeX RDF
22	Suman Saha 0002	Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information. (Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions).		2013	RDF
22	Basile Cloquet	Vers un habitat écoresponsable en Saône-et-Loire, qui privilégie les ressources locales. (Toward an eco-responsible housing that promotes local resources in Saône-et-Loire (Burgundy-France)).		2013	RDF
22	Qing Yang 0010	Ultrasound image segmentation using local statistics with an adaptative scale selection. (Segmentation d'images ultrasonores basée sur des statistiques locales avec une sélection adaptative d'échelles).		2013	RDF
22	Stephan Fischer 0002	Modélisation de l'évolution de la taille des génomes et de leur densité en gènes par mutations locales et grands réarrangements chromosomiques. (Modelling of the evolution of genome size and gene den- sity by local mutations and large chromosomal rearran- gements).		2013	RDF
22	Andon Tchechmedjiev	État de l'art : mesures de similarité sémantique locales et algorithmes globaux pour la désambiguïsation lexicale à base de connaissances (State of the art : Local Semantic Similarity Measures and Global Algorithmes for Knowledge-based Word Sense Disambiguation) [in French].	JEP-TALN-RECITAL	2012	DBLP BibTeX RDF
22	Houda Bouamor, Aurélien Max, Gabriel Illouz, Anne Vilnat	Validation sur le Web de reformulations locales: application à la Wikipédia (Assisted Rephrasing for Wikipedia Contributors through Web-based Validation) [in French].	JEP-TALN-RECITAL	2012	DBLP BibTeX RDF
22	William Mansky, Elsa L. Gunter	Using Locales to Define a Rely-Guarantee Temporal Logic.	ITP	2012	DBLP DOI BibTeX RDF
22	Arles Rodríguez, Jonatan Gómez	Algoritmo evolutivo basado en reglas locales para resolución de objetivos sobre agentes en un entorno simulado.	Rev. Avances en Sistemas Informática	2011	DBLP BibTeX RDF
22	Wei He, Maokang Luo	A Note on Proper Maps of Locales.	Appl. Categorical Struct.	2011	DBLP DOI BibTeX RDF
22	Jorge Picado, Ales Pultr	Frames and Locales - Topology without points.		2011	DOI RDF
22	Josh Jia-Ching Ying, Wang-Chien Lee, Mao Ye 0002, Ching-Yu Chen, Vincent S. Tseng	User association analysis of locales on location based social networks.	GIS-LBSN	2011	DBLP DOI BibTeX RDF
22	Didier Schwab, Jérôme Goulian, Nathan Guillaume	Désambiguïsation lexicale par propagation de mesures sémantiques locales par algorithmes à colonies de fourmis (Lexical disambiguation by propagation of local semantic measures using ant colony algorithms).	TALN (Articles longs)	2011	DBLP BibTeX RDF
22	Camille Dutrey, Houda Bouamor, Delphine Bernhard, Aurélien Max	Paraphrases et modifications locales dans l'historique des révisions de Wikipédia (Paraphrases and local changes in the revision history of Wikipedia).	TALN (Articles longs)	2011	DBLP BibTeX RDF
22	Javier Miguel Sastre-Martínez	Efficient finite-state algorithms for the application of local grammars. (Algorithmes performants à états finis pour l'application de grammaires locales).		2011	RDF
22	Boubacar Diouf	Decoupled approaches to register and software controlled memory allocations. (Approches découplées aux problèmes d'allocations de registres et de mémoires locales).		2011	RDF
22	Daniel MacLean, Vincent Moulton, David J. Studholme	Finding sRNA generative locales from high-throughput sequencing data with NiBLS.	BMC Bioinform.	2010	DBLP DOI BibTeX RDF
22	Vigdis Heimly	How can the Locales Framework be used as basis for design of collaborative systems in shared health care?	CTS	2010	DBLP DOI BibTeX RDF
22	Mani Ezzat	Acquisition de grammaires locales pour l'extraction de relations entre entités nommées.	RECITAL	2010	DBLP BibTeX RDF