|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 315 occurrences of 269 keywords
|
|
|
Results
Found 3695 publication records. Showing 3194 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
49 | Richard Mateosian |
Advice for Investigators. |
IEEE Micro |
2007 |
DBLP DOI BibTeX RDF |
Ramón y Cajal, Derby, Larsen, book review |
49 | Birger Larsen, Peter Ingwersen, Jaana Kekäläinen |
The polyrepresentation continuum in IR. |
IIiX |
2006 |
DBLP DOI BibTeX RDF |
document structure in contextual IIR, research design |
34 | Cheng Sheng 0001, Yufei Tao 0001 |
New results on two-dimensional orthogonal range aggregation in external memory. |
PODS |
2011 |
DBLP DOI BibTeX RDF |
|
34 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
34 | Roelof Hamberg, Frits W. Vaandrager |
Using model checkers in an introductory course on operating systems. |
ACM SIGOPS Oper. Syst. Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden |
Bisimulation for Labelled Markov Processes. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Joachim Böttcher, Alexander Pfeil, Anders Rosholm, Max-Ludwig Schäfer, Ansgar Malich, Alexander Petrovitch, Bettina Seidl, Gabriele Lehmann, Hans-Joachim Mentzel, Gert Hein, Gunter Wolf, Werner A. Kaiser |
Computerized Digital Imaging Techniques Provided by Digital X-ray Radiogrammetry as New Diagnostic Tool in Rheumatoid Arthritis. |
J. Digit. Imaging |
2006 |
DBLP DOI BibTeX RDF |
Digital x-ray radiogrammetry, rheumatoid arthritis, joint space width, bone mineral density, metacarpal index, Larsen Score, Sharp Score |
32 | Timothy M. Chan, Kasper Green Larsen, Mihai Patrascu |
Orthogonal range searching on the RAM, revisited. |
SCG |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
Modal I/O Automata for Interface and Product Line Theories. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Deena Larsen, Richard E. Higgason |
An anatomy of anchors. |
Hypertext |
2004 |
DBLP DOI BibTeX RDF |
efferent, design, navigation, taxonomy, aesthetic, link, semiotics, literature, anchor, reading strategies |
32 | Eric Bach 0001, Joan Boyar, Tao Jiang 0001, Kim S. Larsen, Guo-Hui Lin |
Better Bounds on the Accommodating Ratio for the Seat Reservation Problem. |
COCOON |
2000 |
DBLP DOI BibTeX RDF |
the seat reservation problem, accommodating ratio, adversary argument, on-line algorithms |
32 | Gérard Boudol, Kim Guldstrand Larsen |
Graphical versus Logical Specifications. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Michael Larsen, Anna Larsen |
Multiplicative series, modular forms, and Mandelbrot polynomials. |
Math. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Andreas Haahr Larsen, Yong Wang, Sandro Bottaro, Sergei Grudinin, Lise Arleth, Kresten Lindorff-Larsen |
Combining molecular dynamics simulations with small-angle X-ray and neutron scattering data to study multi-domain proteins in solution. |
PLoS Comput. Biol. |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Helene Høgh Larsen, Alexander Nuka Scheel, Toine Bogers, Birger Larsen |
Hands-free but not Eyes-free: A Usability Evaluation of Siri while Driving. |
CHIIR |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Benjamin Johansen, Michael Kai Petersen, Maciej Jan Korzepa, Jan Larsen, Niels Henrik Pontoppidan, Jakob Eg Larsen |
Personalizing the Fitting of Hearing Aids by Learning Contextual Preferences From Internet of Things Data. |
Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Maciej Jan Korzepa, Benjamin Johansen, Michael Kai Petersen, Jan Larsen, Jakob Eg Larsen, Niels Henrik Pontoppidan |
Modeling User Intents as Context in Smartphone-connected Hearing Aids. |
UMAP (Adjunct Publication) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Maciej Jan Korzepa, Benjamin Johansen, Michael Kai Petersen, Jan Larsen, Jakob Eg Larsen, Niels Henrik Pontoppidan |
Learning Preferences and Soundscapes for Augmented Hearing. |
IUI Workshops |
2018 |
DBLP BibTeX RDF |
|
30 | Anders Nymark Christensen, Christian Thode Larsen, Camilla Maria Mandrup, Martin Bæk Petersen, Rasmus Larsen 0001, Knut Conradsen, Vedrana Andersen Dahl |
Automatic Segmentation of Abdominal Fat in MRI-Scans, Using Graph-Cuts and Image Derived Energies. |
SCIA (2) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Maksymilian Kurek, Frederik K. Larsen, Peter E. Larsen, Silvan Schmid, Anja Boisen, Stephan Sylvest Keller |
Nanomechanical Pyrolytic Carbon Resonators: Novel Fabrication Method and Characterization of Mechanical Properties. |
Sensors |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Anders Boesen Lindbo Larsen, Anders Bjorholm Dahl, Rasmus Larsen 0001 |
Oriented Shape Index Histograms for Cell Classification. |
SCIA |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Anders Boesen Lindbo Larsen, Jacob Schack Vestergaard, Rasmus Larsen 0001 |
HEp-2 Cell Classification Using Shape Index Histograms With Donut-Shaped Spatial Pooling. |
IEEE Trans. Medical Imaging |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Rasmus R. Jensen, Signe S. Thorup, Rasmus R. Paulsen, Tron A. Darvann, Nuno V. Hermann, Per Larsen, Sven Kreiborg, Rasmus Larsen 0001 |
Genus zero graph segmentation: Estimation of intracranial volume. |
Pattern Recognit. Lett. |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Kjeld Jensen, Morten Larsen, Søren H. Nielsen, Leon B. Larsen, Kent S. Olsen, Rasmus N. Jørgensen |
Towards an Open Software Platform for Field Robots in Precision Agriculture. |
Robotics |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Raymond S. Larsen, Derek G. Welbourn, Daniel Wessner, Robin Podmore, Michelle Lacourciere, Anders Boesen Lindbo Larsen, Patrick Lee, Ron Moulton, Seth Myers, Martin Niboh, Patrick Ryan, Michael Wilson |
"Learning beyond the Light Bulb" among Least Developed Countries based on a sustainable PV solar utility model. |
GHTC |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Camilla H. Larsen, David S. Lauritsen, Jacob J. Larsen, Marc Pilgaard, Jacob B. Madsen |
Differences in human audio localization performance between a HRTF- and a non-HRTF audio system. |
Audio Mostly Conference |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Rasmus R. Jensen, Signe S. Thorup, Rasmus R. Paulsen, Tron A. Darvann, Nuno V. Hermann, Per Larsen, Sven Kreiborg, Rasmus Larsen 0001 |
Genus Zero Graph Segmentation: Estimation of Intracranial Volume. |
SCIA |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Ben Houston, Wayne Larsen, Bryan Larsen, Jack Caron, Nima Nikfetrat, Catherine Leung, Jesse Silver, Hasan Kamal-Al-Deen, Peter Callaghan, Roy Chen, Tim McKenna |
Clara.io: full-featured 3D content creation for the web and cloud era. |
SIGGRAPH Studio Talks |
2013 |
DBLP DOI BibTeX RDF |
|
30 | J. J. Yu, X. S. Qin, L. C. Larsen, O. Larsen, A. Jayasooriya, X. L. Shen |
A GIS-based management and publication framework for data handling of numerical model results. |
Adv. Eng. Softw. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Jakob Eg Larsen, Arkadiusz Stopczynski, Jan Larsen, Claus Vesterskov, Peter Krogsgaard, Thomas Sondrup |
Augmenting the sound experience at music festivals using mobile phones. |
IUI |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Jens Clausen, Allan Larsen, Jesper Larsen, Natalia J. Rezanova |
Disruption management in the airline industry - Concepts, models and methods. |
Comput. Oper. Res. |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Jens Clausen, Allan Larsen, Jesper Larsen |
Foreword. |
Comput. Oper. Res. |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Lars Bo Larsen, Kasper Løvborg Jensen, Søren Larsen, Morten Højfeldt Rasmussen |
A paradigm for mobile speech-centric services. |
INTERSPEECH |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Hildur Ólafsdóttir, Tron A. Darvann, Bjarne K. Ersbøll, Nuno V. Hermann, Estanislao Oubel, Rasmus Larsen 0001, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg |
Craniofacial statistical deformation models of wild-type mice and Crouzon mice. |
Medical Imaging: Image Processing |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Michael Sass Hansen, Hildur Ólafsdóttir, Tron A. Darvann, Nuno V. Hermann, Estanislao Oubel, Rasmus Larsen 0001, Bjarne K. Ersbøll, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg |
Estimation of Independent Non-Linear Deformation Modes for Analysis of Craniofacial Malformations in Crouzon Mice. |
ISBI |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Stéphanie Lanche, Tron A. Darvann, Hildur Ólafsdóttir, Nuno V. Hermann, Andrea E. Van Pelt, Daniel Govier, Marissa J. Tenenbaum, Sybill Naidoo, Per Larsen, Sven Kreiborg, Rasmus Larsen 0001, Alex A. Kane |
A Statistical Model of Head Asymmetry in Infants with Deformational Plagiocephaly. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Hildur Ólafsdóttir, Michael Sass Hansen, Karl Sjöstrand, Tron A. Darvann, Nuno V. Hermann, Estanislao Oubel, Bjarne K. Ersbøll, Rasmus Larsen 0001, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg |
Sparse Statistical Deformation Model for the Analysis of Craniofacial Malformations in the Crouzon Mouse. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Lars Bo Larsen, Kasper Løvborg Jensen, Søren Larsen, Morten Højfeldt Rasmussen |
Affordance in mobile speech-based user interaction. |
Mobile HCI |
2007 |
DBLP DOI BibTeX RDF |
interface design on mobile devices, multi modal user interaction, affordance, speech interaction, distributed speech recognition |
30 | Hildur Ólafsdóttir, Stéphanie Lanche, Tron A. Darvann, Nuno V. Hermann, Rasmus Larsen 0001, Bjarne K. Ersbøll, Estanislao Oubel, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg |
A Point-Wise Quantification of Asymmetry Using Deformation Fields: Application to the Study of the Crouzon Mouse Model. |
MICCAI (2) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Lars Bo Larsen, Rene B. Jensen, Kasper Løvborg Jensen, Søren Larsen |
Development of an automatic pool trainer. |
Advances in Computer Entertainment Technology |
2005 |
DBLP DOI BibTeX RDF |
computer vision and -graphics, integration of modalities, multi modal user interaction, human computer interaction, ubiquitous computing, augmented reality, speech recognition, pool, computer aided learning |
30 | Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski |
Color-Blind Specifications for Transformations of Reactive Synchronous Programs. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Mads Hintz-Madsen, Lars Kai Hansen, Jan Larsen, Morten With Pedersen, Michael Larsen |
Neural classifier construction using regularization, pruning and test error estimation. |
Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Faming Gong, Kui Zhang, Shujun Liu |
Retrieving the grounding lines of the Riiser-Larsen Ice Shelf using Sentinel-1 SAR images. |
Int. J. Digit. Earth |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Yixiang Tian, Menglian Xia, Lu An, Marco Scaioni, Rongxing Li |
Innovative Method of Combing Multidecade Remote Sensing Data for Detecting Precollapse Elevation Changes of Glaciers in the Larsen B Region, Antarctica. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Joacim Hansson |
Libraries, Archives and Museums as Democratic Spaces in a Digital Age. Audunson Ragnar, Andresen Herbjørn, Fagerlid Cicilie, Henningsen Erik, Hobohm Hans-Christoph, Jochumsen Henrik, Larsen Håkon, Vold Tonje (Eds.). Berlin: Walter de Gruyter GmbH, 2020. 370 pp. (ISBN 978-3-11-062954-5). |
J. Assoc. Inf. Sci. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Faming Gong, Kui Zhang, Shujun Liu |
Retrieve Ice Velocities and Invert Spatial Rigidity of the Larsen C Ice Shelf Based on Sentinel-1 Interferometric Data. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Hyangsun Han, Sungjae Lee, Jae-In Kim, Seung Hee Kim, Hyun-Cheol Kim |
Changes in a Giant Iceberg Created from the Collapse of the Larsen C Ice Shelf, Antarctic Peninsula, Derived from Sentinel-1 and CryoSat-2 Data. |
Remote. Sens. |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Richard Banach |
John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014. |
Formal Aspects Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Hongxing Liu, Shujie Wang |
Analysis of Flow Velocity and Surface Structure Over Northern Larsen Ice Shelf Using Time Series Satellite Images. |
IGARSS |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Ferdinando Nunziata, Andrea Buono, Maurizio Migliaccio, Miguel Moctezuma, Flavio Parmiggiani, Giuseppe Aulicino |
Multi-Frequency and Multi-Polarization Synthetic Aperture Radar for the Larsen-C A-68 Iceberg Monitoring. |
RTSI |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Takahiro Abe, Masato Ohki, Takeo Tadono |
Observation of Huge Iceberg Detachment from Larsen-C Ice Shelf in Antarctic Peninsula by ALOS-2/PALSAR-2. |
IGARSS |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Luca Aceto, Giorgio Bacci, Giovanni Bacci 0001, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.) |
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo |
Improving the Timed Automata Approach to Biological Pathway Dynamics. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Luyao Wang, Wanling Xie, Huibiao Zhu |
Assertion-Based Reasoning Method for Calculus of Wireless System. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Ernst-Rüdiger Olderog, Maike Schwammberger |
Formalising a Hazard Warning Communication Protocol with Timed Automata. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Florence Clerc, Harrison Humphrey, Prakash Panangaden |
Bicategories of Markov Processes. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm |
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Syntactic Markovian Bisimulation for Chemical Reaction Networks. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou |
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Christel Baier, Sascha Klüppelholz, Sascha Wunderlich |
Towards Automated Variant Selection for Heterogeneous Tiled Architectures. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Rajeev Alur, Konstantinos Mamouras, Dogan Ulus |
Derivatives of Quantitative Regular Expressions. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell 0001 |
Timed Temporal Logics. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Marta Kwiatkowska, Gethin Norman, David Parker 0001 |
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Aleksandar S. Dimovski, Andrzej Wasowski |
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson 0001, Konstantinos Sagonas |
Comparing Source Sets and Persistent Sets for Partial Order Reduction. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Hasan Baig, Jan Madsen |
Taming Living Logic Using Formal Methods. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas Basset, Jean-François Raskin, Ocan Sankur |
Admissible Strategies in Timed Games. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz |
A Framework for Evaluating Schedulability Analysis Tools. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen |
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Xinxin Liu |
Negative Results on Decidability and Small Model Property of Process Equations. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Joost-Pieter Katoen, Falak Sher |
Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer |
Testing Divergent Transition Systems. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi 0001 |
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns |
Teaching Academic Concurrency to Amazing Students. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos |
Information Flow for Timed Automata. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth 0001 |
Centrally Governed Blockchains: Optimizing Security, Cost, and Availability. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Klaus Havelund, Giles Reger |
Runtime Verification Logics A Language Design Perspective. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Bernhard Steffen, Marc Jasper |
Property-Preserving Parallel Decomposition. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
The Cost of Exactness in Quantitative Reachability. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Matthew Hennessy |
A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Jan Kretínský |
30 Years of Modal Transition Systems: Survey of Extensions and Analysis. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Albert Benveniste, Benoît Caillaud |
Synchronous Interfaces and Assume/Guarantee Contracts. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Oded Maler, Irini-Eleftheria Mens |
A Generic Algorithm for Learning Symbolic Automata from Membership Queries. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Manfred Droste, Doreen Götze |
A Nivat Theorem for Quantitative Automata on Unranked Trees. |
Models, Algorithms, Logics and Tools |
2017 |
DBLP DOI BibTeX RDF |
|
29 | N. K. Arun, B. M. Mohan |
Mathematical modelling of the simplest fuzzy two-input two-output proportional integral or proportional derivative controller via Larsen product inference. |
Int. J. Autom. Control. |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Bo Han 0006, Bo He 0002, Rui Nian, Mengmeng Ma 0001, Shujing Zhang, Minghui Li, Amaury Lendasse |
LARSEN-ELM: Selective ensemble of extreme learning machines using LARS for blended data. |
Neurocomputing |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Bo Han 0006, Bo He 0002, Rui Nian, Mengmeng Ma 0001, Shujing Zhang, Minghui Li, Amaury Lendasse |
LARSEN-ELM: Selective Ensemble of Extreme Learning Machines using LARS for Blended Data. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
29 | |
Brokering Access: Power, Politics and Freedom of Information Process in Canada, by Mike Larsen and Kevin Walby. |
Inf. Polity |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Megan E. Marsh, Saeed Torabi Ziaratgahi, Raymond J. Spiteri |
The Secrets to the Success of the Rush-Larsen Method and its Generalizations. |
IEEE Trans. Biomed. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Enric Trillas, Claudi Alsina |
From Leibniz's Shinning Theorem to the Synthesis of Rules through Mamdani-Larsen Conditionals. |
Combining Experimentation and Theory |
2012 |
DBLP DOI BibTeX RDF |
|
29 | David S. Rogers |
Modelling systems: practical tools and techniques in software development, second edition written by John Fitzgerald and Peter Gorm Larsen and published by Cambridge University Press, 2009, ISBN 978-0-521-89911-6 hardback, 288 pp. |
ACM SIGSOFT Softw. Eng. Notes |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Bo Jarneving |
Reply to Larsen: 'The publication activity of Region Västra Götaland: a critical comment'. |
Inf. Res. |
2009 |
DBLP BibTeX RDF |
|
29 | Jos C. M. Baeten, Ana Sokolova |
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. |
J. Log. Algebraic Methods Program. |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Helmut Rott, Wolfgang Rack, Thomas Nagler |
Increased export of grounded ice after the collapse of northern Larsen ice shelf, Antarctic Peninsula, observed by Envisat ASAR. |
IGARSS |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Pietro Terna |
Dynamics of Organizations: Computational Modeling and Organization Theories Edited by Alessandro Lomi and Erik R. Larsen. |
J. Artif. Soc. Soc. Simul. |
2002 |
DBLP BibTeX RDF |
|
29 | Maurício F. Figueiredo, Fernando A. C. Gomide, Armando Rocha, Ronald R. Yager |
Comparison of Yager's level set method for fuzzy logic control with Mamdani's and Larsen's methods. |
IEEE Trans. Fuzzy Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
29 | Henry C. Wong, Andreas Antoniou |
Characterization and decomposition of waveforms for Larsen 500 airborne system. |
IEEE Trans. Geosci. Remote. Sens. |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Dominic Dunlop |
Microcomputer-analog converter software and hardware interfacing: Johnathon A Titus, Christopher A Titus, Peter R Rony and David G Larsen, Howard W Sams & Co Inc., (1979) 288 pp, $9.50. |
Microprocess. Microsystems |
1979 |
DBLP DOI BibTeX RDF |
|
29 | Peter Bushell |
8080/8085 software design: D G Larsen et al., Prentice Hall, (1979) 337pp, £6.95. |
Microprocess. Microsystems |
1979 |
DBLP DOI BibTeX RDF |
|
17 | Stavros Tripakis |
Checking timed Büchi automata emptiness on simulation graphs. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages |
Displaying result #1 - #100 of 3194 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|