|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 981 occurrences of 715 keywords
|
|
|
Results
Found 1270 publication records. Showing 1270 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Daniel Crabtree, Peter Andreae, Xiaoying Gao |
Understanding Query Aspects with applications to Interactive Query Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings, pp. 691-695, 2007, IEEE Computer Society, 0-7695-3026-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Jana Dunfield |
Refined typechecking with Stardust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 21-32, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
58 | Josh Buresh-Oppenheim, Toniann Pitassi |
The Complexity of Resolution Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 138-, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Eldar Sadikov, Jayant Madhavan, Lu Wang, Alon Y. Halevy |
Clustering query refinements by user intent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 841-850, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
clustering, random walks, query refinements |
47 | Christian Kästner, Sven Apel, Martin Kuhlemann |
A model of refactoring physically and virtually separated features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 157-166, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CIDE, FeatureHouse, refinements, software product lines, separation of concerns, preprocessor, AHEAD |
41 | Max J. Egenhofer, Matthew P. Dube |
Topological relations from metric refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings, pp. 158-167, 2009, ACM, 978-1-60558-649-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
metric, topology, spatial reasoning, spatial relations |
41 | Graeme Smith 0001, John Derrick |
Verifying data refinements using a model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(3), pp. 264-287, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL |
41 | Maciej Paszynski |
The Application of Agents to Parallel Mesh Refinements in Domain Decomposition Based Parallel Fully Automatic hp Adaptive Finite Element Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III, pp. 751-758, 2006, Springer, 3-540-34383-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Neil J. Robinson |
Checking Z Data Refinements Using an Animation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 62-81, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Joëlle Cohen, Anatol Slissenko |
On Verification of Refinements of Timed Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 34-49, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Dusko Pavlovic, Douglas R. Smith |
Software Development by Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
10th Anniversary Colloquium of UNU/IIST ![In: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, pp. 267-286, 2002, Springer, 3-540-20527-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Don S. Batory, Jia Liu, Jacob Neal Sarvela |
Refinements and multi-dimensional separation of concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 48-57, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multidimensional separation of concerns, refinements, program synthesis, feature-oriented programming, origami, AHEAD, GenVoca |
39 | Jignashu Parikh, Shyam Kapur |
Unity: relevance feedback using user query logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, Washington, USA, August 6-11, 2006, pp. 689-690, 2006, ACM, 1-59593-369-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
search re-ranking, information retrieval, search engines, relevance feedback, query expansion, query refinements |
33 | Chuanliang Xia |
Property Preservation by Petri-Net-Based Refinements in System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 240-246, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Jerzy Tomasik, Jerzy Weyman |
Category localization semantics for specification refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 253-263, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85 |
33 | Yanmin Zhu, Min Gao, Lionel M. Ni |
Distributed Localization Refinements for Mobile Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCNMC ![In: Networking and Mobile Computing, Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings, pp. 3-12, 2005, Springer, 3-540-28102-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Bing Li, Fabio Somenzi |
Efficient computation of small abstraction refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 518-525, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Yitzhak Mandelbaum, David Walker 0001, Robert Harper 0001 |
An effective theory of type refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 213-225, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
effectful computation, type refinement, linear logic, type theory, local reasoning |
33 | Yannis Smaragdakis, Don S. Batory |
Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(2), pp. 215-255, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
component-based software, product-line architectures, Collaboration-based design |
33 | Mathias Broxvall, Peter Jonsson, Jochen Renz |
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 114-127, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Don S. Batory |
Refinements and Product Line Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings, pp. 3-4, 2000, Springer, 3-540-41054-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | David Cazier, Jean-François Dufourd |
A formal specification of geometric refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 15(6), pp. 279-301, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Geometric refinement, Computational geometry, Algebraic specifications, Rewrite systems, Boolean operations |
33 | Klaus Mayr |
Refinements and Extensions of Model Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 217-228, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Wilfried Brauer, Robert Gold, Walter Vogler |
A survey of behaviour and equivalence preserving refinements of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 1-46, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics |
33 | Wei Cheng, Wei Tsang Ooi |
Receiver-driven view-dependent streaming of progressive mesh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Network and Operating System Support for Digital Audio and Video, 18th International Workshop, NOSSDAV 2008, Braunschweig, Germany, May 28-30, 2008, Proceedings, pp. 9-14, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
view-dependent streaming, progressive meshes |
33 | Yuanchen Zhu |
Uniform Remeshing with an Adaptive Domain: A New Scheme for View-Dependent Level-of-Detail Rendering of Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 11(3), pp. 306-316, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
view-dependent meshes, Level-of-detail, remeshing, multiresolution representation, frame-to-frame coherence |
33 | Reiner Kraft 0001, Jason Y. Zien |
Mining anchor text for query refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 666-674, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
web search, rank, query refinement, anchor text |
33 | Dolors Costal, Antoni Olivé, Ernest Teniente |
Relationship Type Refinement in Conceptual Models with Multiple Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings, pp. 397-411, 2001, Springer, 3-540-42866-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Reino Kurki-Suonio |
Component and Interface Refinement in Closed-System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 134-154, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Mikhail Nesterenko, Anish Arora |
Stabilization-Preserving Atomicity Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings, pp. 254-268, 1999, Springer, 3-540-66531-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | John Wu |
Correlated Equilibrium of Bertrand Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings, pp. 166-177, 2008, Springer, 978-3-540-92184-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Equilibrium coarsenings, equilibrium refinements, strategic correlation principle, positive correlated equilibrium, negative correlated equilibrium, duality gap |
30 | Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier |
Definition and Correct Refinement of Operation Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Research Results of the DICS Program ![In: Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program, pp. 127-144, 2006, Springer, 3-540-36821-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT |
30 | Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller |
Formal Methods Meet Domain Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 187-206, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
scheduling, formal methods, refinements, decision procedure, DSL |
30 | Max J. Egenhofer, A. Rashid B. M. Shariff |
Metric Details for Natural-Language Spatial Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 16(4), pp. 295-321, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Metric refinements, GIS, geographic information systems, spatial relations, topological relations |
30 | Marco Accame, Francesco G. B. De Natale, Daniele D. Giusto |
Hierarchical block matching for disparity estimation in stereo sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 374-377, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
hierarchical block matching, stereo sequences, BBDE, real time coding, multiresolution pyramid, correction strategy, disparity vectors, adaptive search range, variable-resolution disparity field, block based disparity estimation, refinements, image sequences, video coding, image reconstruction, image matching, error correction, search problems, stereo image processing, image resolution, propagation, estimation theory, reconstruction quality |
30 | José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia |
Correctness of a distributed deadlock resolution algorithm for the single request model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 254-261, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification |
30 | Gruia-Catalin Roman, C. Donald Wilcox |
Architecture-Directed Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(4), pp. 239-258, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements |
30 | R. Geoff Dromey |
Systematic Program Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(1), pp. 12-29, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
goal-oriented programming, case analysis, constructive program proofs, software engineering, data structure, refinements, programming, program development, problem decomposition, program structure, postcondition |
25 | Petr Buryan, Jirí Kubalík |
Context-sensitive refinements for stochasticoptimization algorithms in inductive logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1071-1072, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, inductive logic programming |
25 | Graeme Smith 0001, Kirsten Winter |
Model checking action system refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 155-186, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, Refinement, CTL, action systems |
25 | Didier Dubois, Hélène Fargier |
Capacity Refinements and Their Application to Qualitative Decision Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 311-322, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
decision evaluation, Capacities, belief functions, Sugeno integral |
25 | Gerhard Schellhorn, Richard Banach |
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 57-70, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Sven Apel, Christian Kästner, Martin Kuhlemann, Thomas Leich |
Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 3(4), pp. 281-289, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Egon Börger |
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(2), pp. 225-241, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine |
25 | Tarvo Raudvere, Ingo Sander, Axel Jantsch |
Synchronization after design refinements with sensitive delay elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 21-26, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design refinement, synchronization, system design |
25 | Tarvo Raudvere, Ingo Sander, Axel Jantsch |
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 353-358, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design refinement, synchronization, system design |
25 | Michel Bidoit, Rolf Hennicker |
Proving Behavioral Refinements of COL-specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 333-354, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Nenad Stojanovic |
n Ranking Refinements in the Step-by-Step Searching through a Product Catalogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 4th IEEE International Conference on Data Mining (ICDM 2004), 1-4 November 2004, Brighton, UK, pp. 527-530, 2004, IEEE Computer Society, 0-7695-2142-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Neil J. Robinson, Colin J. Fidge |
Visualisation of Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia, pp. 244-254, 2001, IEEE Computer Society, 0-7695-1254-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Béatrice Bérard, Claudine Picaronny |
Accepting Zeno words: a way toward timed refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 37(1), pp. 45-81, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Hendricx, Luc J. M. Claesen |
Verification of Finite-State-Machine Refinements Using a Symbolic Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 326-329, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni |
Refinements and Modules for Typed Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 138-151, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Hans de Nivelle |
A Unification of Ordering Refinements of Resolution in Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 217-230, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | X. J. Chen, Carlo Montangero |
Compositional Refinements in Multiple Blackboard Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 93-109, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Issam W. Damaj |
Higher-Level Hardware Synthesis of the KASUMI Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(1), pp. 60-70, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parallel algorithms, methodology, formal models, data encryption, gate array |
25 | Maciej Paszynski |
Performance of Multi Level Parallel Direct Solver for hpFinite Element Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 1303-1312, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Parallel direct solvers, Substructuring method, Finite Element Method, hp adaptivity |
25 | Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv |
Abstract Counterexample-Based Refinement for Powerset Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Analysis and Compilation ![In: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, pp. 273-292, 2006, Springer, 978-3-540-71315-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Amel Mammar, Régine Laleau |
Design of an Automatic Prover Dedicated to the Refinement of Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 834-854, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Refinement process, Proof reuse, B method, Data-intensive applications |
25 | Jorge García Duque, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez |
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pp. 282-288, 2002, IEEE Computer Society, 0-7695-1465-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo |
Requirements Specifications Evolution in a Multi-Perspective Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 39-46, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | David L. Mills |
Improved Algorithms for Synchronizing Computer Network Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1994 Conference on Communications Architectures, Protocols and Applications, London, UK, August 31 - September 2, 1994, pp. 317-327, 1994, ACM, 0-89791-682-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Internet |
25 | Ambuj K. Singh |
Program Refinement in Fair Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 128-147, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota |
Encoding a process algebra using the Event B method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(3), pp. 239-253, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra |
22 | Salvador Trujillo, Ander Zubizarreta, Xabier Mendialdua, Josune De Sosa |
Feature-oriented refinement of models, metamodels and model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009, pp. 87-94, 2009, ACM, 978-1-60558-567-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XAK, modeling, models, refinements, model transformations, metamodels, AHEAD |
22 | Salvador Trujillo, Don S. Batory, Oscar Díaz |
Feature refactoring a multi-representation program into a product line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 191-200, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
refinements, refactoring, software product lines, program synthesis, multiple representations, feature-oriented programming, AHEAD |
22 | Jana Dunfield, Frank Pfenning |
Tridirectional typechecking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 281-292, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
22 | Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder |
Achieving extensibility through product-lines and domain-specific languages: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(2), pp. 191-214, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
simulation, refinements, domain-specific languages, aspects, GenVoca |
22 | Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman |
An inheritance-based technique for building simulation proofs incrementally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(1), pp. 63-91, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements |
22 | Don S. Batory, Gang Chen, Eric Robertson 0002, Tao Wang |
Design Wizards and Visual Programming Environments for GenVoca Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(5), pp. 441-452, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
applications product-lines, components, refinements, generators, Self-adaptive software, architectural optimizations |
22 | J. Bey |
Tetrahedral Grid Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 55(4), pp. 355-378, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Tetrahedral grid refinement, stable refinements, consistent triangulations, green closure, grid coarsening |
17 | Ling Zhang, Yuting Wang 0001, Jinhua Wu, Jérémie Koenig, Zhong Shao |
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 2160-2190, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Simon Oxenford, Ana Sofía Ríos, Barbara Hollunder, Clemens Neudorfer, Alexandre Boutet, Gavin J. B. Elias, Jürgen Germann, Aaron Loh, Wissam Deeb, Bryan Salvato, Leonardo Almeida, Kelly D. Foote, Robert S. C. Amaral, Paul B. Rosenberg, David F. Tang-Wai, David A. Wolk, Anna D. Burke, Marwan N. Sabbagh, Stephen Salloway, M. Mallar Chakravarty, Gwenn S. Smith, Constantine G. Lyketsos, Michael S. Okun, William S. Anderson, Zoltan Mari, Francisco A. Ponce, Andres M. Lozano, Wolf-Julian Neumann, Bassam Al-Fatly, Andreas Horn |
WarpDrive: Improving spatial normalization using manual refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 91, pp. 103041, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Ayman Hazaymeh, Ahmad Qazza, Raed Hatamleh, Mohammad Wajeeh Alomari, Rania Saadeh |
On Further Refinements of Numerical Radius Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(9), pp. 807, September 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Hartmut Ilsemann |
Methodological observations concerning word rankings and z-score refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Scholarsh. Humanit. ![In: Digit. Scholarsh. Humanit. 39(1), pp. 185-190, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Kathy Q. Ji, Dax T. X. Zhang |
Some refinements of Stanley's shuffle theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 203, pp. 105830, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Alex Havrilla, Sharath Chandra Raparthy, Christoforos Nalmpantis, Jane Dwivedi-Yu, Maksym Zhuravinskyi, Eric Hambro, Roberta Railneau |
GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10963, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Pietron, Rafal Olszowski, Jakub Gomulka |
Efficient argument classification with compact language models and ChatGPT-4 refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.15473, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Sebastian Stock 0002, Atif Mashkoor, Michael Leuschel, Alexander Egyed |
Trace preservation in B and Event-B refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 137, pp. 100943, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer |
CESAR: Control Envelope Synthesis via Angelic Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, pp. 144-164, 2024, Springer, 978-3-031-57245-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Emmanouil-Vasileios Vlatakis-Gkaragkounis, Angeliki Giannou, Yudong Chen 0001, Qiaomin Xie |
Stochastic Methods in Variational Inequalities: Ergodicity, Bias and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, 2-4 May 2024, Palau de Congressos, Valencia, Spain., pp. 4123-4131, 2024, PMLR. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
17 | Balu Santhanam, Thalanayar S. Santhanam |
On refinements to QMFD based chirp parameter estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 213, pp. 109217, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Muhammad Tariq, Soubhagya Kumar Sahoo, Sotiris K. Ntouyas |
Some Refinements of Hermite-Hadamard Type Integral Inequalities Involving Refined Convex Function of the Raina Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(2), pp. 124, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yonghui Ren |
Generalized Refinements of Reversed AM-GM Operator Inequalities for Positive Linear Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(10), pp. 977, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Vuk Stojiljkovic, Rajagopalan Ramaswamy, Ola A. Ashour Abdelnaby, Stojan Radenovic |
Some Refinements of the Tensorial Inequalities in Hilbert Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(4), pp. 925, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Najla Altwaijry, Cristian Conde, Silvestru Sever Dragomir, Kais Feki |
Some Refinements of Selberg Inequality and Related Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(8), pp. 1486, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Tareq Hamadneh, Mohammad Wajeeh Alomari, Isra Al-Shbeil, Hala AlAqad, Raed Hatamleh, Ahmed Salem Heilat, Abdallah Al-Husban |
Refinements of the Euclidean Operator Radius and Davis-Wielandt Radius-Type Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(5), pp. 1061, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Viviana Giunzioni, John Erick Ortiz Guzman, Adrien Merlini, Simon B. Adrian, Francesco Paolo Andriulli |
On a Calderón preconditioner for the symmetric formulation of the electroencephalography forward problem without barycentric refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 491, pp. 112374, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Tomasz Sluzalec, Rafal Wojciech Grzeszczuk, Sergio Rojas, Witold Dzwinel, Maciej Paszynski |
Quasi-optimal hp-finite element refinements towards singularities via deep neural network prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 142, pp. 157-174, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Siva Somayyajula, Frank Pfenning |
Dependent Type Refinements for Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023, 2023, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jingliang Duan, Wenxuan Wang, Liming Xiao, Jiaxin Gao, Shengbo Eben Li |
DSAC-T: Distributional Soft Actor-Critic with Three Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.05858, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer |
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.11970, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Emmanouil V. Vlatakis-Gkaragkounis, Angeliki Giannou, Yudong Chen 0001, Qiaomin Xie |
Stochastic Methods in Variational Inequalities: Ergodicity, Bias and Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.16502, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers |
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.17618, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Rebecca Richter, Alberto De Marchi, Matthias Gerdts |
Collision Avoidance using Iterative Dynamic and Nonlinear Programming with Adaptive Grid Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.03148, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Marco Pop-Mihali, Adrian Groza |
Forest Mixing: investigating the impact of multiple search trees and a shared refinements pool on ontology learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.17252, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer |
CESAR: Control Envelope Synthesis via Angelic Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.02833, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Hongxia Wang |
Refinements of Jensen's inequalities for Choquet integrals and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 457, pp. 105-118, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Hofit Ben-Zion Vardi, Nira Dyn, Nir Sharon |
Geometric Hermite interpolation in $\mathbb {R}^{n}$ by refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 49(3), pp. 38, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Linyan Gu, Lihua Yang, Feng Zhou |
Refinements of Approximation Results of Conditional Restricted Boltzmann Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 34(3), pp. 1228-1242, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer |
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023, Santa Cruz, CA, USA, November 6-9, 2023, pp. 798-809, 2023, IEEE, 979-8-3503-1894-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1270 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|