Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
95 | David I. Havelock |
The Topology of Locales and Its Effects on Position Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(4), pp. 380-386, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings, pp. 149-166, 1999, Springer, 3-540-66463-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
73 | Gregor McEwan, Saul Greenberg |
Supporting social worlds with the community bar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2005 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2005, Sanibel Island, Florida, USA, November 6-9, 2005, pp. 21-30, 2005, ACM, 1-59593-223-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
focus/nimbus, locales framework, groupware, casual interaction |
71 | Clemens Ballarin |
Locales and Locale Expressions in Isabelle/Isar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 34-50, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
71 | James Au, Ze-Nian Li, Mark S. Drew |
Object Segmentation and Tracking Using Video Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 544-547, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
70 | He Wei |
Remarks on Completely Regular Lindelöf Reflection of Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(1), pp. 71-77, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001, IEEE Computer Society, 0-7695-1198-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
62 | Till Plewe |
Quotient Maps of Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 17-44, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: Virtual Reality 2000 Conference, VR'00, New Brunswick, New Jersey, USA, March 18-22, 2000, Proceedings, pp. 287, 2000, IEEE Computer Society, 0-7695-0478-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHINZ ![In: Proceedings of the 10th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction, CHINZ 2009, Auckland, New Zealand, July 6-7, 2009, pp. 5-12, 2009, ACM, 978-1-60558-574-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2009, Boston, MA, USA, July 19-23, 2009, pp. 43-50, 2009, ACM, 978-1-60558-483-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of GROUP'97, International Conference on Supporting Group Work: The Integration Challenge, November 16-19, 1997, Embassy Suites Hotel, Phoenix, Arizona, USA, pp. 241-250, 1997, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Designing Interactive Systems ![In: Proceedings of the 2nd Conference on Designing Interactive Systems: Processes, Practices, Methods and Techniques, DIS 1997, Grand Hotel Krasnapolsky, Amsterdam, the Netherlands, August 18-20, 1997, pp. 173-184, 1997, ACM, 0-89791-863-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 21st Australasian Computer-Human Interaction Conference, OZCHI 2009: Open 24/7, Melbourne, Australia, November 23-27, 2009, pp. 257-260, 2009, ACM, 978-1-60558-854-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2007 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2007, Sanibel Island, Florida, USA, November 4-7, 2007, pp. 89-98, 2007, ACM, 978-1-59593-845-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 4043-4046, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(1-2), pp. 109-118, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 31-43, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Reinhold Heckmann |
Probabilistic Power Domains, Information Systems, and Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 410-437, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Arthur Huang, David Levinson |
Retail Location Choice with Complementary Goods: An Agent-Based Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 175-187, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
location choice, distribution pattern, clustering, agent-based model |
33 | Florian Haftmann, Makarius Wenzel |
Constructive Type Classes in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 160-174, 2006, Springer, 978-3-540-74463-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Joseph M. Barone |
Fuzzy Points and Fuzzy Prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFSS ![In: Advances in Soft Computing - AFSS 2002, 2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002, Proceedings, pp. 466-470, 2002, Springer, 3-540-43150-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | David I. Havelock |
Geometric Precision in Noise-Free Digital Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(10), pp. 1065-1075, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 173-175, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Till Plewe, Ales Pultr, Anna Tozzi |
Regular Monomorphisms of Hausdorff Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(1), pp. 15-33, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(3), pp. 344-351, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(6), pp. 45, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Graham Manuell |
Correction: Presenting Quotient Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(5), pp. 35, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Graham Manuell |
Presenting Quotient Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(4), pp. 28, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Francesco Ciraulo |
Overlap Algebras as Almost Discrete Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
22 | Francesco Ciraulo |
σ-locales in Formal Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Tijs van der Storm, Felienne Hermans |
Gradual Grammars: Syntax in Levels and Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022, pp. 134-147, 2022, ACM, 978-1-4503-9919-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
22 | Jorge Picado, Ales Pultr |
On Equalizers in the Category of Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 29(2), pp. 267-283, 2021. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
22 | Clemens Ballarin |
Exploring the Structure of an Algebra Text with Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 64(6), pp. 1093-1121, 2020. The full citation details ...](Pics/full.jpeg) |
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.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: 15th Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2020, Ottawa, Canada, July 20-25, 2020, Conference Abstracts, 2020. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Res. Comput. Sci. ![In: Res. Comput. Sci. 148(10), pp. 81-94, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Themba Dube |
Maximal Lindelöf Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 27(6), pp. 687-702, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(9), pp. 2107, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Gaël Beck |
Scalable Clustering Applying Local Accretions. (Accrétions Locales appliquées au Clustering Scalable et Distribué). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
22 | Francesco Ciraulo |
σ-locales and Booleanization in Formal Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.09644, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Francesco Ciraulo, Giovanni Sambin |
Embedding locales and formal topologies into positive topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 57(7-8), pp. 755-768, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Fan Zhang 0011, Ding Zhang, Yu Liu 0003, Hui Lin 0002 |
Representing place locales using scene elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Environ. Urban Syst. ![In: Comput. Environ. Urban Syst. 71, pp. 153-164, 2018. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
22 | Gurvan Cabon |
Non Local Analyses Certification With an Annotated Semantics. (Certification d'Analyses Non Locales avec une Sémantique Annotée). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
22 | Christopher Townsend |
Stability of Properties of Locales Under Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(3), pp. 363-380, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Jorge Bruno, Paul Szeptycki |
Quantales, Generalised Premetrics and Free Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(6), pp. 1045-1058, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Margarida Carvalho, Lurdes Sousa |
On Kan-injectivity of Locales and Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(1), pp. 83-104, 2017. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
22 | Josephine N. Walwema |
Digital Writing Spaces as Rhetorical Locales of Invention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Online Pedagog. Course Des. ![In: Int. J. Online Pedagog. Course Des. 6(1), pp. 60-72, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Aurora Sánchez, Javier Narea |
Participación electrónica en los gobiernos locales chilenos y sus desafíos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 22nd Americas Conference on Information Systems, AMCIS 2016, San Diego, CA, USA, August 11-14, 2016, 2016, Association for Information Systems, 978-0-9966831-2-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Guram Bezhanishvili, Wesley H. Holliday |
Locales, Nuclei, and Dragalin Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 11, proceedings of the 11th conference on `Advances in Modal Logic,` held in Budapest, Hungary, August 30 - September 2, 2016, pp. 177-196, 2016, College Publications, 978-1-84890-201-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDC (1) ![In: Proceedings of the 14th Participatory Design Conference, PDC '16, Aarhus, Denmark, August 15-19, 2016, Volume 1 - Full papers, pp. 101-110, 2016, ACM, 978-1-4503-4046-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
22 | Mayssa Jemel |
Local data storage: security and availability. (Stockage des données locales : sécurité et disponibilité). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
22 | Reinhold Heckmann |
Spatiality of countably presentable locales (proved with the Baire category theorem). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(7), pp. 1607-1625, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Clio Andris, Zoe Andris |
Exploring Institution-Based Mobility: Which Universities Attract Athletes from Distant and Diverse Locales? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDM (2) ![In: 16th IEEE International Conference on Mobile Data Management, MDM 2015, Pittsburgh, PA, USA, June 15-18, 2015 - Volume 2, pp. 62-67, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, OZCHI 2015, Parkville, VIC, Australia, December 7-10, 2015, pp. 212-216, 2015, ACM, 978-1-4503-3673-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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 ). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
22 | Themba Dube, Inderasan Naidoo, C. N. Ncube |
Isocompactness in the Category of Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 22(5-6), pp. 727-739, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Danijela Petrovic |
Verification of Selection and Heap Sort Using Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Clemens Ballarin |
Locales: A Module System for Mathematical Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 52(2), pp. 123-153, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
22 | Erick Stattner, Martine Collard |
Dynamiques globales et locales dans un réseau de télécommunications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.3138, 2013. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL ![In: Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, volume 3: RECITAL, Grenoble, France, June 4-8, 2012, pp. 295-308, 2012, ATALA/AFCP. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL ![In: Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, volume 2: TALN, Grenoble, France, June 4-8, 2012, pp. 197-210, 2012, ATALA/AFCP. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | William Mansky, Elsa L. Gunter |
Using Locales to Define a Rely-Guarantee Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, pp. 299-314, 2012, Springer, 978-3-642-32346-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Avances en Sistemas Informática ![In: Rev. Avances en Sistemas Informática 8(1), pp. 93-100, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
22 | Wei He, Maokang Luo |
A Note on Proper Maps of Locales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 19(2), pp. 505-510, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Jorge Picado, Ales Pultr |
Frames and Locales - Topology without points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS-LBSN ![In: Proceedings of the 2011 International Workshop on Location Based Social Networks, LBSN 2011, November 1, 2011, Chicago, IL, USA, Proceedings, pp. 69-76, 2011, ACM, 978-1-4503-1033-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALN (Articles longs) ![In: Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, TALN 2011, Montpellier, France, June 2011, pp. 117-128, 2011, ATALA. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALN (Articles longs) ![In: Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, TALN 2011, Montpellier, France, June 2011, pp. 376-387, 2011, ATALA. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
22 | Daniel MacLean, Vincent Moulton, David J. Studholme |
Finding sRNA generative locales from high-throughput sequencing data with NiBLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 11, pp. 93, 2010. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTS ![In: 2010 International Symposium on Collaborative Technologies and Systems, CTS 2010, Chicago, Illinois, USA, May 17-21, 2010, pp. 207-215, 2010, IEEE, 978-1-4244-6619-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Mani Ezzat |
Acquisition de grammaires locales pour l'extraction de relations entre entités nommées. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECITAL ![In: Actes de la 17e conférence sur le Traitement Automatique des Langues Naturelles. REncontres jeunes Chercheurs en Informatique pour le Traitement Automatique des Langues, RECITAL 2010, Montréal, Canada, July 2010, pp. 34-43, 2010, ATALA. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|