|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 65 occurrences of 62 keywords
|
|
|
Results
Found 282 publication records. Showing 275 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
143 | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene |
Using TAME to prove invariants of automata models: Two case studies. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
software requirements analysis, Software engineering, verification, formal methods, theorem proving |
112 | Markku Oivo, Victor R. Basili |
Representing Software Engineering Models: The TAME Goal Oriented Approach. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
software engineering models representation, TAME goal oriented approach, reasoning framework, top-down goal-oriented characterization, ES-TAME, object-oriented metamodel concept, reusable software engineering models, dynamic viewpoints, selective inheritance, goal-question-metric paradigm, modeling, software engineering, artificial intelligence, object-oriented programming, knowledge representation, knowledge representation, software reusability, prototype system |
77 | Myla Archer, Constance L. Heitmeyer |
Human-Style Theorem Proving Using PVS. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
61 | Jiun-Ming Chen, Bo-Yin Yang |
A More Secure and Efficacious TTS Signature Scheme. |
ICISC |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Adam W. Strzebonski |
Real root isolation for tame elementary functions. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
real root isolation, solving equations, elementary functions |
51 | Tobias Nipkow, Gertrud Bauer, Paula Schultz |
Flyspeck I: Tame Graphs. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Ivan DeAndres-Tame, Ruben Tolosana, Rubén Vera-Rodríguez, Aythami Morales, Julian Fiérrez, Javier Ortega-Garcia |
How Good Is ChatGPT at Face Biometrics? A First Look Into Recognition, Soft Biometrics, and Explainability. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
37 | Ivan DeAndres-Tame, Ruben Tolosana, Rubén Vera-Rodríguez, Aythami Morales, Julian Fiérrez, Javier Ortega-Garcia |
How Good is ChatGPT at Face Biometrics? A First Look into Recognition, Soft Biometrics, and Explainability. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
37 | Giuseppe Stragapede, Rubén Vera-Rodríguez, Ruben Tolosana, Aythami Morales, Ivan DeAndres-Tame, Naser Damer, Julian Fiérrez, Javier Ortega-Garcia, Nahuel González, Andrei Shadrikov, Dmitrii Gordin, Leon Schmitt, Daniel Wimmer, Christoph Großmann, Joerdis Krieger, Florian Heinz, Ron Krestel, Christoffer Mayer, Simon Haberl, Helena Gschrey, Yosuke Yamagishi, Sanjay Saha, Sanka Rasnayaka, Sandareka Wickramanayake, Terence Sim, Weronika Gutfeter, Adam Baran, Mateusz Krzyszton, Przemyslaw Jaskola |
IEEE BigData 2023 Keystroke Verification Challenge (KVC). |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
37 | Pietro Melzi, Ruben Tolosana, Rubén Vera-Rodríguez, Minchul Kim, Christian Rathgeb, Xiaoming Liu, Ivan DeAndres-Tame, Aythami Morales, Julian Fiérrez, Javier Ortega-Garcia, Weisong Zhao, Xiangyu Zhu, Zheyu Yan, Xiaoyu Zhang 0002, Jinlin Wu, Zhen Lei 0001, Suvidha Tripathi, Mahak Kothari, Md Haider Zama, Debayan Deb, Bernardo Biesseck, Pedro Vidal 0001, Roger Granada, Guilherme P. Fickel, Gustavo Führ, David Menotti, Alexander Unnervik, Anjith George, Christophe Ecabert, Hatef Otroshi-Shahreza, Parsa Rahimi, Sébastien Marcel, Ioannis Sarridis, Christos Koutlis, Georgia Baltsou, Symeon Papadopoulos, Christos Diou, Nicolò Di Domenico, Guido Borghi, Lorenzo Pellegrini, Enrique Mas-Candela, Ángela Sánchez-Pérez, Andrea Atzori, Gianni Fenu, Fadi Boutros, Mirko Marras, Naser Damer |
FRCSyn Challenge at WACV 2024: Face Recognition Challenge in the Era of Synthetic Data. |
WACV (Workshops) |
2024 |
DBLP DOI BibTeX RDF |
|
37 | Iván de Andrés Tamé, Kirill Sirotkin, Pablo Carballeira, Marcos Escudero-Viñolo |
Self-Supervised Curricular Deep Learning for Chest X-Ray Image Classification. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Pietro Melzi, Ruben Tolosana, Rubén Vera-Rodríguez, Minchul Kim, Christian Rathgeb, Xiaoming Liu, Ivan DeAndres-Tame, Aythami Morales, Julian Fiérrez, Javier Ortega-Garcia, Weisong Zhao, Xiangyu Zhu, Zheyu Yan, Xiaoyu Zhang 0002, Jinlin Wu, Zhen Lei 0001, Suvidha Tripathi, Mahak Kothari, Md Haider Zama, Debayan Deb, Bernardo Biesseck, Pedro Vidal 0001, Roger Granada, Guilherme P. Fickel, Gustavo Führ, David Menotti, Alexander Unnervik, Anjith George, Christophe Ecabert, Hatef Otroshi-Shahreza, Parsa Rahimi, Sébastien Marcel, Ioannis Sarridis, Christos Koutlis, Georgia Baltsou, Symeon Papadopoulos, Christos Diou, Nicolò Di Domenico, Guido Borghi, Lorenzo Pellegrini, Enrique Mas-Candela, Ángela Sánchez-Pérez, Andrea Atzori, Fadi Boutros, Naser Damer, Gianni Fenu, Mirko Marras |
FRCSyn Challenge at WACV 2024: Face Recognition Challenge in the Era of Synthetic Data. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Giuseppe Stragapede, Rubén Vera-Rodríguez, Ruben Tolosana, Aythami Morales, Ivan DeAndres-Tame, Naser Damer, Julian Fiérrez, Javier Ortega-Garcia, Nahuel González, Andrei Shadrikov, Dmitrii Gordin, Leon Schmitt, Daniel Wimmer, Christoph Großmann, Joerdis Krieger, Florian Heinz, Ron Krestel, Christoffer Mayer, Simon Haberl, Helena Gschrey, Yosuke Yamagishi, Sanjay Saha, Sanka Rasnayaka, Sandareka Wickramanayake, Terence Sim, Weronika Gutfeter, Adam Baran, Mateusz Krzyszton, Przemyslaw Jaskola |
IEEE BigData 2023 Keystroke Verification Challenge (KVC). |
IEEE Big Data |
2023 |
DBLP DOI BibTeX RDF |
|
37 | Luigi Tamè, Raffaele Tucciarelli, Renata Sadibolova, Martin I. Sereno, Matthew R. Longo |
Reconstructing neural representations of tactile space. |
NeuroImage |
2021 |
DBLP DOI BibTeX RDF |
|
37 | Clark Tame Tyler H. Go, Edvard G. Leis, Mark Jonelle D. Quiambao, Mary Jane C. Samonte, Gloren S. Fuentes, Cristina Ampatin Pascua |
Think+: Using Virtual Reality Therapy Game Mobile Application for Treating Phobia. |
ICFET |
2020 |
DBLP DOI BibTeX RDF |
|
37 | Luigi Tamè, Nicholas P. Holmes |
Involvement of human primary somatosensory cortex in vibrotactile detection depends on task demand. |
NeuroImage |
2016 |
DBLP DOI BibTeX RDF |
|
37 | Yannick Sonnefraud, Giuliana Di Martino, Mark Tame, Stéphane Kéna-Cohen, Frederik Dieleman, Sahin K. Özdemir, Myungshik Kim, Stefan A. Maier |
Observation of quantum interference in the plasmonic Hong-Ou-Mandel effect. |
ICTON |
2014 |
DBLP DOI BibTeX RDF |
|
37 | Luigi Tamè, Christoph Braun 0001, Angelika Lingnau, Jens Schwarzbach, Gianpaolo Demarchi, Yiwen Li Hegner, Alessandro Farnè, Francesco Pavani |
The Contribution of Primary and Secondary Somatosensory Cortices to the Representation of Body Parts and Body Sides: An fMRI Adaptation Study. |
J. Cogn. Neurosci. |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Noriaki Kanayama, Luigi Tamè, Hideki Ohira, Francesco Pavani |
Top down influence on visuo-tactile interaction modulates neural oscillatory responses. |
NeuroImage |
2012 |
DBLP DOI BibTeX RDF |
|
37 | Mark Simon Tame |
Measurement-based quantum information processing with imperfect operation. |
|
2008 |
RDF |
|
37 | Jeremy R. H. Tame |
Scoring Functions - the First 100 Years. |
J. Comput. Aided Mol. Des. |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Jeremy R. H. Tame |
Scoring functions: A view from the bench. |
J. Comput. Aided Mol. Des. |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Tapani Hyttinen |
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Abstract elementary classes, Structure theorem, Categoricity |
36 | Thomas C. Hales |
Sphere Packings, VI. Tame Graphs and Linear Programs. |
Discret. Comput. Geom. |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Jaime Gutierrez 0001, David Sevilla |
On Decomposition of Tame Polynomials and Rational Functions. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Takashi Inui, Kentaro Inui, Yuji Matsumoto 0001 |
Acquiring causal knowledge from text using the connective marker tame. |
ACM Trans. Asian Lang. Inf. Process. |
2005 |
DBLP DOI BibTeX RDF |
connective marker, volitionality, Causal relation |
36 | Bo-Yin Yang, Jiun-Ming Chen |
Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS. |
ACISP |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Hans Schlenker, Hans-Joachim Goltz, Joerg-Wilhelm Oestmann |
TAME - Time Resourcing in Academic Medical Environments. |
AIME |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Jintai Ding, Dieter Schmidt, Zhijun Yin |
Cryptanalysis of the new TTS scheme in CHES 2004. |
Int. J. Inf. Sec. |
2006 |
DBLP DOI BibTeX RDF |
Minrank, Tame transformation, Public key, Multivariate, Quadratic polynomials |
31 | Myla Archer, Elizabeth I. Leonard, Matteo Pradella |
Analyzing Security-Enhanced Linux Policy Specifications. |
POLICY |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Myla Archer, Elizabeth I. Leonard, Matteo Pradella |
Modeling Security-Enhanced Linux Policy Specifications for Analysis. |
DISCEX (2) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Leonid Libkin |
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Colin G. Bailey |
Relativized projecta and b\beta-r.e. sets. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Mariano V. Ntrougkas, Nikolaos Gkalelis, Vasileios Mezaris |
T-TAME: Trainable Attention Mechanism for Explaining Convolutional Networks and Vision Transformers. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Masato Fujita |
Locally O-Minimal Structures With Tame Topological Properties. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yan Peng, Xiaogang Tang, Yiqing Zhou 0001, Yuenan Hou, Jintao Li 0001, Yanli Qi, Ling Liu 0006, Hai Lin |
How to Tame Mobility in Federated Learning Over Mobile Networks? |
IEEE Trans. Wirel. Commun. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shaun Allison, Assaf Shani |
Actions of tame abelian product groups. |
J. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Behzad Boroujerdian, Ying Jing, Devashree Tripathy, Amit Kumar, Lavanya Subramanian, Luke Yen, Vincent Lee, Vivek Venkatesan, Amit Jindal, Robert Shearer, Vijay Janapa Reddi |
FARSI: An Early-stage Design Space Exploration Framework to Tame the Domain-specific System-on-chip Complexity. |
ACM Trans. Embed. Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Gilles Bareilles, Johannes Aspman, Jiri Nemecek 0002, Jakub Marecek |
Piecewise Polynomial Regression of Tame Functions via Integer Programming. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shengjie Zhu, Abhinav Kumar 0004, Masa Hu, Xiaoming Liu 0002 |
Tame a Wild Camera: In-the-Wild Monocular Camera Calibration. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Johannes Aspman, Vyacheslav Kungurtsev, Reza Roohi Seraji |
Riemannian Stochastic Approximation for Minimizing Tame Nonsmooth Objective Functions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Arsh Verma |
How Can We Tame the Long-Tail of Chest X-ray Datasets? |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Alperen Kalay, Bahri Batuhan Bilecen, Mustafa Ayazoglu |
Towards Clip-Free Quantized Super-Resolution Networks: How to Tame Representative Images. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yinwei Dai, Rui Pan, Anand P. Iyer, Kai Li, Ravi Netravali |
Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mariano Ntrougkas, Nikolaos Gkalelis, Vasileios Mezaris |
TAME: Attention Mechanism Based Feature Fusion for Generating Explanation Maps of Convolutional Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yihao Feng, Shentao Yang, Shujian Zhang, Jianguo Zhang 0005, Caiming Xiong, Mingyuan Zhou, Huan Wang |
Fantastic Rewards and How to Tame Them: A Case Study on Reward Learning for Task-oriented Dialogue Systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Eike Schneiders, Jennifer Williams 0001, Arya Farahi, Tina Seabrooke, Ganesh Vigneswaran, John Robert Bautista, Liz Dowthwaite, Anna-Maria Piskopani |
TAME Pain: Trustworthy AssessMEnt of Pain from Speech and Audio for the Empowerment of Patients. |
TAS |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Zihao Jin, Shuo Chen 0001, Yang Chen, Haixin Duan, Jianjun Chen 0005, Jianping Wu |
A Security Study about Electron Applications and a Programming Methodology to Tame DOM Functionalities. |
NDSS |
2023 |
DBLP BibTeX RDF |
|
20 | Shengjie Zhu, Abhinav Kumar 0004, Masa Hu, Xiaoming Liu 0002 |
Tame a Wild Camera: In-the-Wild Monocular Camera Calibration. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
20 | Mario Ramos Joseph, Alcides J. León Méndez, Raisa Socorro Llanes, Reniel Carvajal Alfonso, Carlos M. González Ramírez |
Climatic Factors that Impact the Consumption Patterns Tame of Water. A Case of Study. |
IWAIPR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yihao Feng, Shentao Yang, Shujian Zhang, Jianguo Zhang 0005, Caiming Xiong, Mingyuan Zhou, Huan Wang |
Fantastic Rewards and How to Tame Them: A Case Study on Reward Learning for Task-oriented Dialogue Systems. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
20 | Alperen Kalay, Bahri Batuhan Bilecen, Mustafa Ayazoglu |
Towards Clip-Free Quantized Super-Resolution Networks: How to Tame Representative Images. |
BMVC |
2023 |
DBLP BibTeX RDF |
|
20 | Andrew Quaisley |
Intrinsic tame filling functions are equivalent to intrinsic diameter functions. |
Int. J. Algebra Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ellen Simpson, Andrew Hamann, Bryan C. Semaan |
How to Tame "Your" Algorithm: LGBTQ+ Users' Domestication of TikTok. |
Proc. ACM Hum. Comput. Interact. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lionel Blondé, Pablo Strasser, Alexandros Kalousis |
Lipschitzness is all you need to tame off-policy generative adversarial imitation learning. |
Mach. Learn. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Michael Levin |
Technological Approach to Mind Everywhere (TAME): an experimentally-grounded framework for understanding diverse bodies and minds. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
20 | Haoran Zhu, Maryam Majzoubi, Arihant Jain, Anna Choromanska |
TAME: Task Agnostic Continual Learning using Multiple Experts. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | João Paulo Bezerra, Petr Kuznetsov |
How to Tame Multiple Spending in Decentralized Cryptocurrencies. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Kento Koike, Izumi Himura, Takahito Tomoto |
TAME: A Method of Teachable Agent Modeling for Error-Visualization. |
HCI (4) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Yuvraj Patel, Chenhao Ye, Akshat Sinha, Abigail Matthews, Andrea C. Arpaci-Dusseau, Michael M. Swift |
Using Trātṛ to tame Adversarial Synchronization. |
USENIX Security Symposium |
2022 |
DBLP BibTeX RDF |
|
20 | Wu Luo, Xuhua Ding, Pengfei Wu, Xiaolei Zhang, Qingni Shen, Zhonghai Wu |
ScriptChecker: To Tame Third-party Script Execution With Task Capabilities. |
NDSS |
2022 |
DBLP BibTeX RDF |
|
20 | João Paulo Bezerra, Petr Kuznetsov |
Brief Announcement: How to Tame Multiple Spending in Decentralized Cryptocurrencies. |
PODC |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Mariano Ntrougkas, Nikolaos Gkalelis, Vasileios Mezaris |
TAME: Attention Mechanism Based Feature Fusion for Generating Explanation Maps of Convolutional Neural Networks. |
ISM |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Dayan Liu, Fumei Liu, Xiaosong Sun |
Some co-tame automorphisms of affine spaces. |
Int. J. Algebra Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Paul Leger, Hiroaki Fukuda, Ismael Figueroa |
Continuations and Aspects to Tame Callback Hell on the Web. |
J. Univers. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jialiang He |
On height of group trees on tame abelian product groups. |
Math. Log. Q. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Appelö, Lu Zhang, Thomas M. Hagstrom, Fengyan Li |
An Energy-Based Discontinuous Galerkin Method with Tame CFL Numbers for the Wave Equation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Chenru Duan, Shuxin Chen, Michael G. Taylor, Fang Liu, Heather J. Kulik |
Machine learning to tame divergent density functional approximations: a new path to consensus materials design principles. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Shir Cohen, Idit Keidar |
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Georg Struth |
Trimming the Hedges: An Algebra to Tame Concurrency. |
Theories of Programming |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Manish Pandey, Breno Dantas Cruz, Minh Le, Young-Woo Kwon 0001, Eli Tilevich |
Here, There, Anywhere: Profiling-Driven Services to Tame the Heterogeneity of Edge Applications. |
SMDS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shir Cohen, Idit Keidar |
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. |
DISC |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Sijie Shen, Rong Chen 0001, Haibo Chen 0001, Binyu Zang |
Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing. |
OSDI |
2021 |
DBLP BibTeX RDF |
|
20 | Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Damek Davis, Dmitriy Drusvyatskiy, Sham M. Kakade, Jason D. Lee |
Stochastic Subgradient Method Converges on Tame Functions. |
Found. Comput. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Pantelis E. Eleftheriou, Ayhan Günaydin, Philipp Hieronymi |
The choice property in tame expansions of o-minimal structures. |
Math. Log. Q. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Peter Gartland, Daniel Lokshtanov |
Dominated Minimal Separators are Tame (Nearly All Others are Feral). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Lionel Blondé, Pablo Strasser, Alexandros Kalousis |
Lipschitzness Is All You Need To Tame Off-policy Generative Adversarial Imitation Learning. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Manuel Bodirsky, Simon Knäuer, Florian Starke |
ASNP: a tame fragment of existential second-order logic. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Fiete Lüer |
How to tame your chatbot. |
XRDS |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Jürgen Anke, Martin Ebel, Jens Poeppelbuss, Rainer Alt |
How to tame the Tiger - Exploring the Means, Ends and Challenges in Smart Service Systems Engineering. |
ECIS |
2020 |
DBLP BibTeX RDF |
|
20 | Manuel Bodirsky, Simon Knäuer, Florian Starke |
ASNP: A Tame Fragment of Existential Second-Order Logic. |
CiE |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Eric Edo, Drew Lewis |
Co-tame polynomial automorphisms. |
Int. J. Algebra Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Khadijeh Alibabaei |
The pseudovariety of all nilpotent groups is tame. |
Int. J. Algebra Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jianhui Zhuang, Xianliang Jiang, Guang Jin, Jiahua Zhu, Haiming Chen |
PTCP: A Priority-Driven Congestion Control Algorithm to Tame TCP Incast in Data Centers. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Haydar Göral |
Tame Expansions of ω-Stable Theories and Definable Groups. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Simon, Erik Walsberg |
Tame Topology over dp-Minimal Structures. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Tianzhu Zhang, Carla-Fabiana Chiasserini, Paolo Giaccone |
TAME: An Efficient Task Allocation Algorithm for Integrated Mobile Gaming. |
IEEE Syst. J. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Xiaolin Jiang 0001, Hossein Shokri Ghadikolaei, Gábor Fodor 0001, Eytan H. Modiano, Zhibo Pang, Michele Zorzi, Carlo Fischione |
Low-Latency Networking: Where Latency Lurks and How to Tame It. |
Proc. IEEE |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall |
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Allegra De Filippo, Michele Lombardi 0001, Michela Milano |
How to Tame Your Anticipatory Algorithm. |
DDC@AI*IA |
2019 |
DBLP BibTeX RDF |
|
20 | Allegra De Filippo, Michele Lombardi 0001, Michela Milano |
How to Tame Your Anticipatory Algorithm. |
IJCAI |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Konstantinos Lentzos, Mihalis Sykiotis |
On the intersection of tame subgroups in groups acting on trees. |
Int. J. Algebra Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Erik Walsberg |
Metric Geometry in a Tame Setting. |
Bull. Symb. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sebastien Vasey |
Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes. |
Math. Log. Q. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sebastien Vasey |
Toward a stability theory of tame abstract elementary classes. |
J. Math. Log. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Xiaolin Jiang 0001, Hossein Shokri Ghadikolaei, Gábor Fodor 0001, Eytan H. Modiano, Zhibo Pang, Michele Zorzi, Carlo Fischione |
Low-latency Networking: Where Latency Lurks and How to Tame It. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Damek Davis, Dmitriy Drusvyatskiy, Sham M. Kakade, Jason D. Lee |
Stochastic subgradient method converges on tame functions. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Fang Liu 0020, Sinong Wang, Swapna Buccapatnam, Ness B. Shroff |
UCBoost: A Boosting Approach to Tame Complexity and Optimality for Stochastic Bandits. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 275 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|