|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5956 occurrences of 3365 keywords
|
|
|
Results
Found 18259 publication records. Showing 18256 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | D. G. McVitie, L. B. Wilson |
The Stable Marriage Problem. |
Commun. ACM |
1971 |
DBLP DOI BibTeX RDF |
|
62 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You |
Unfolding partiality and disjunctions in stable model semantics. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models |
60 | Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa |
Approximation Algorithms for the Sex-Equal Stable Marriage Problem. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
the stable marriage problem, the sex-equal stable marriage problem, approximation algorithms |
56 | Ajay D. Kshemkalyani, Bin Wu 0014 |
Detecting Arbitrary Stable Properties Using Efficient Snapshots. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
stable predicate, stable property, distributed snapshot, Distributed system, global state |
56 | Martin Caminada |
An Algorithm for Computing Semi-stable Semantics. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Matthew K. Franklin, Mark A. Gondree, Payman Mohassel |
Improved Efficiency for Private Stable Matching. |
CT-RSA |
2007 |
DBLP DOI BibTeX RDF |
Gale-Shapley, secure multiparty computation, stable matching, passive adversaries, stable marriage, privacy-preserving protocols |
51 | Robert W. Irving |
Stable matching problems with exchange restrictions. |
J. Comb. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Matching, NP-complete problems, Stable marriage |
49 | Katarína Cechlárová, Tamás Fleiner |
On a generalization of the stable roommates problem. |
ACM Trans. Algorithms |
2005 |
DBLP DOI BibTeX RDF |
Irving's algorithm, stable roommates problem, stable marriage problem |
49 | Thomas Eiter, Nicola Leone, Domenico Saccà |
Partial Semantics for Disjunctive Deductive Databases. |
DEXA |
1996 |
DBLP DOI BibTeX RDF |
|
49 | Tamás Fleiner |
The Stable Roommates Problem with Choice Functions. |
IPCO |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Umashankar Nagarajan, George Kantor, Ralph L. Hollis |
Human-robot physical interaction with dynamically stable mobile robots. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
dynamically stable mobile robots, human-robot physical interaction |
45 | Ying Jiang, Guo-Qiang Zhang 0001 |
Weakly distributive domains (II). |
Frontiers Comput. Sci. China |
2007 |
DBLP DOI BibTeX RDF |
weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category |
45 | Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki |
Adversarial queuing on the multiple-access channel. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
adversarial queuing, continuous packet injection, stability, broadcast, multiple-access channel |
43 | Jun Kiniwa |
How to Improve Safety under Convergence Using Stable Storage. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
false privilege, vulnerability under convergence, self-stabilization, Mutual exclusion, stable storage |
43 | Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong |
The stable paths problem and interdomain routing. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
path vector protocols, stable routing, BGP, Border Gateway Protocol, interdomain routing, internet routing |
42 | Juan Carlos Valdés-Abreu, Marcos A. Diaz, Manuel Bravo, Yohadne Stable-Sánchez |
IonosphericTotal Electron Content Changes during the 15 February 2018 and 30 April 2022 Solar Eclipses over South America and Antarctica. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Juan Carlos Valdés-Abreu, Marcos A. Diaz, Manuel Bravo, Juan Carlos Báez, Yohadne Stable-Sánchez |
Ionospheric Behavior during the 10 June 2021 Annular Solar Eclipse and Its Impact on GNSS Precise Point Positioning. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Juan Carlos Valdés-Abreu, Marcos A. Diaz, Juan Carlos Báez, Yohadne Stable-Sánchez |
Effects of the 12 May 2021 Geomagnetic Storm on Georeferencing Precision. |
Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Leslie Lenert, Ricardo F. Muñoz, Jackie Stoddard, Kevin Delucchi, Aditya Bansod, Steven Skoczen, Eliseo J. Pérez-Stable |
Implementation Brief: Design and Pilot Evaluation of an Internet Smoking Cessation Program. |
J. Am. Medical Informatics Assoc. |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Leslie Lenert, Ricardo F. Muñoz, Jackie Stoddard, Kevin Delucchi, Eliseo J. Pérez-Stable |
Stopsmoking.ucsf.edu: Web-based Randomized Trials of Smoking Cessation Interventions. |
AMIA |
2002 |
DBLP BibTeX RDF |
|
42 | Tamaryn Stable Ia Menneer |
Quantum artificial neural networks. |
|
1999 |
RDF |
|
39 | Dimitri Van Landuyt, Steven Op de beeck, Eddy Truyen, Wouter Joosen |
Domain-driven discovery of stable abstractions for pointcut interfaces. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
domain-driven architecture, reusable pointcut interfaces, stable domain abstractions |
39 | Monia Giandomenico, Adam N. Letchford |
Exploring the Relationship Between Max-Cut and Stable Set Relaxations. |
Math. Program. |
2006 |
DBLP DOI BibTeX RDF |
Stable set problem, Polyhedral combinatorics, Max-cut problem |
38 | François Verdier, Alain Mérigot, Bertrand Y. Zavidovique |
Fast Stable Matching Algorithm using Asynchronous Parallel Programming Model. |
CAMP |
2000 |
DBLP DOI BibTeX RDF |
fast stable matching algorithm, asynchronous parallel programming model, stable marriage algorithm, massively parallel asynchronous model, asynchronously communicating processors, image processing problem, image processing, 3D reconstruction, image matching, database search |
38 | Brian C. Dean, Namrata Swar |
The Generalized Stable Allocation Problem. |
WALCOM |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Emad Saad |
Towards the Computation of Stable Probabilistic Model Semantics. |
KI |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Dietmar Seipel |
Partial Evidential Stable Models for Disjunctive Deductive Databases. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Arnaud Pêcher, Annegret Wagler |
Almost all webs are not rank-perfect. |
Math. Program. |
2006 |
DBLP DOI BibTeX RDF |
Rank-perfect graph, Stable set polytope, (Non-)rank facet, Web |
36 | Patrik Floréen, Petteri Kaski, Valentin Polishchuk, Jukka Suomela |
Brief announcement: distributed almost stable marriage. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
almost stable matching, local algorithm |
36 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 |
Well-Founded and Partial Stable Semantics Logical Aspects. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics |
36 | Alexander Kipnis, Boaz Patt-Shamir |
Brief announcement: a note on distributed stable matching. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
game theory, communication complexity, stable marriage |
36 | Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail 0001, Katarzyna E. Paluch 0001 |
Strongly stable matchings in time O(nm) and extension to the hospitals-residents problem. |
ACM Trans. Algorithms |
2007 |
DBLP DOI BibTeX RDF |
level maximal, Bipartite matching, strong stability, stable marriage |
36 | Ping Li 0001 |
Very sparse stable random projections for dimension reduction in lalpha (0 |
KDD |
2007 |
DBLP DOI BibTeX RDF |
sparse projections, stable Ddistributions, convergence, dimension reductions, asymptotic analysis, random projections |
34 | Takeomi Tamesada |
Sequential Machines Having Quasi-Stable States. |
IEEE Trans. Computers |
1980 |
DBLP DOI BibTeX RDF |
unstable state, Asynchronous sequential machine, autonomous sequential machine, flow table, multivibrator, quasi-stable state, stable state, statetransition diagram |
34 | David Gamarnik |
On deciding stability of constrained random walks and queueing systems. |
SIGMETRICS Perform. Evaluation Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Manipulation and gender neutrality in stable marriage procedures. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
|
34 | Christine T. Cheng |
The Generalized Median Stable Matchings: Finding Them Is Not That Easy. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
Locally Determined Logic Programs and Recursive Stable Models. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
logic programming, non-monotonic logic |
34 | Varun S. Malhotra |
On the Stability of Multiple Partner Stable Marriages with Ties. |
ESA |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Gagan Aggarwal, S. Muthukrishnan 0001, Dávid Pál, Martin Pál |
General auction mechanism for search advertising. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
sponsored search auctions, game theory, stable matchings |
32 | Mauricio Osorio 0001, Bharat Jayaraman |
Integrating the Completion and the Well Founded Semantics. |
IBERAMIA |
1998 |
DBLP DOI BibTeX RDF |
Stable Semantics, Clark's Completion, Normal Programs, Knowledge Representation, Logic Programming, Non-monotonic Reasoning, Well Founded Semantics |
32 | Steven O. Kimbrough, Ann Kuo |
On heuristics for two-sided matching: revisiting the stable marriage problem as a multiobjective problem. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
centralized markets, deferred acceptance algorithm, two-sided matching, evolutionary computation, agent-based models, stable marriage problem |
32 | Yining Wu, Martin Caminada, Dov M. Gabbay |
Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
abstract argumentation, complete extensions, 3-valued stable models, logic programming |
32 | Robert W. Irving, David F. Manlove |
Approximation algorithms for hard variants of the stable marriage and hospitals/residents problems. |
J. Comb. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Weak stability, Approximation algorithms, NP-hard problems, Stable matching |
32 | Magnús M. Halldórsson, Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa |
Improved approximation results for the stable marriage problem. |
ACM Trans. Algorithms |
2007 |
DBLP DOI BibTeX RDF |
incomplete lists, Approximation algorithms, ties, stable marriage problem |
32 | Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola |
Closing the Gap between the Stable Semantics and Extensions of WFS. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
Stable semantics, FOUR, Modal logics, WFS |
32 | Chun-Yen Hsu, Jean-Lien C. Wu, Shun-Te Wang |
Finding Stable Routes in Mobile Ad Hoc Networks. |
AINA (2) |
2004 |
DBLP DOI BibTeX RDF |
link lifetime, long-lived route, stable route, routing, mobile ad hoc networks |
32 | Thomas Eiter, Michael Fink 0001 |
Uniform Equivalence of Logic Programs under the Stable Model Semantics. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics |
32 | Xavier Caron, Jörg Kienzle, Alfred Strohmeier |
Object-Oriented Stable Storage Based on Mirroring. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Memory Management, Shadowing, Ada 95, Mirroring, Stable Storage |
32 | L. Rognant, Jean-Marc Chassery, S. Goze, J. G. Planès |
The Delaunay Constrained Triangulation: The Delaunay Stable Algorithms. |
IV |
1999 |
DBLP DOI BibTeX RDF |
Delaunay constrained triangulation, Delaunay stable algorithm, DEM application, Delaunay triangulation, surface model |
30 | Julia Willamena Patriarche, Bradley James Erickson |
Part 2. Automated Change Detection and Characterization Applied to Serial MR of Brain Tumors may Detect Progression Earlier than Human Experts. |
J. Digit. Imaging |
2007 |
DBLP DOI BibTeX RDF |
serial imaging, change detection, computer aided diagnosis, Brain tumor |
30 | András Bezdek, Károly Bezdek, Robert Connelly |
Finite and Uniform Stability of Sphere Packings. |
Discret. Comput. Geom. |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Ilkka Niemelä |
Towards Automatic Autoepistemic Reasoning. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
30 | John W. Carr III |
Error Bounds for the Runge-Kutta Single-Step Integration Process. |
J. ACM |
1958 |
DBLP DOI BibTeX RDF |
|
30 | Ming-Ren Hsu, Wen-Hsien Ho, Jyh-Horng Chou |
Stable and Quadratic Optimal Control for TS Fuzzy-Model-Based Time-Delay Control Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
30 | David Pearce 0001 |
Sixty Years of Stable Models. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Feng Wang 0001, Jiangchuan Liu, Yongqiang Xiong |
Stable Peers: Existence, Importance, and Application in Peer-to-Peer Live Video Streaming. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
30 | David J. Abraham, Ariel Levavi, David F. Manlove, Gregg O'Malley |
The Stable Roommates Problem with Globally-Ranked Pairs. |
WINE |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Chien-Chung Huang |
Cheating to Get Better Roommates in a Random Stable Matching. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Enyue Lu, S. Q. Zheng 0001 |
A Parallel Iterative Improvement Stable Matching Algorithm. |
HiPC |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Dimitrios Koukopoulos, Marios Mavronicolas, Sotiris E. Nikoletseas, Paul G. Spirakis |
On the Stability of Compositions of Universally Stable, Greedy Contention-Resolution Protocols. |
DISC |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Torben Braüner |
A Model of Intuitionistic Affine Logic From Stable Domain Theory. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Domenico Saccà, Carlo Zaniolo |
Stable Models and Non-Determinism in Logic Programs with Negation. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Robert W. Irving, Paul Leather, Dan Gusfield |
An efficient algorithm for the "optimal" stable marriage. |
J. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Miroslaw Truszczynski |
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
logic here-and-there, answer-set programming, Stable models |
28 | Heiner Ackermann, Paul W. Goldberg, Vahab S. Mirrokni, Heiko Röglin, Berthold Vöcking |
Uncoordinated two-sided matching markets. |
EC |
2008 |
DBLP DOI BibTeX RDF |
better/best response dynamics, algorithmic game theory, stable marriage problem |
28 | Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart |
Social Software for Coalition Formation. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2006 |
DBLP DOI BibTeX RDF |
stable government, MacBeth, RelView, social choice rule, graph theory, consensus, relational algebra, bargaining |
28 | Zbigniew Lonc, Miroslaw Truszczynski |
Fixed-parameter complexity of semantics for logic programs. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
Normal logic programs, fixed-parameter complexity, supported models, stable models |
28 | Ke Gao, Yongdong Zhang 0001, Wei Zhang 0043, Shouxun Lin |
Affine Stable Characteristic based sample expansion for object detection. |
CIVR |
2010 |
DBLP DOI BibTeX RDF |
affine stable characteristic, sample expansion, object detection |
28 | Yongsheng Ou, Huihuan Qian, Yangsheng Xu |
Support Vector Machine Based Approach for Abstracting Human Control Strategy in Controlling Dynamically Stable Robots. |
J. Intell. Robotic Syst. |
2009 |
DBLP DOI BibTeX RDF |
Human skill learning, Dynamically stable systems, Neural networks, Support vector machine |
28 | Anna Pantelidou, Anthony Ephremides, André L. Tits |
A cross-layer approach for stable throughput maximization under channel state uncertainty. |
Wirel. Networks |
2009 |
DBLP DOI BibTeX RDF |
Scheduling and routing, Stable throughput, Channel state uncertainty, Cross-layer design |
28 | Kai Ming Ting, Jonathan R. Wells, Swee Chuan Tan, Shyh Wei Teng, Geoffrey I. Webb |
FaSS: Ensembles for Stable Learners. |
MCS |
2009 |
DBLP DOI BibTeX RDF |
stable learners, Local models |
28 | Umashankar Nagarajan, George Kantor, Ralph L. Hollis |
Human-robot physical interaction with dynamically stable mobile robots. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
dynamically stable mobile robots, human-robot physical interaction |
28 | Shan Lin 0001, Gang Zhou, Yafeng Wu, Kamin Whitehouse, John A. Stankovic, Tian He 0001 |
Achieving stable network performance for wireless sensornetworks. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
stable performance, wireless sensor network, interference, feedback control |
28 | S. Muthuramalingam, R. Malarvizhi, R. Veerayazhini, R. Rajaram |
Reducing the Cluster Overhead by Selecting Optimal and Stable Cluster Head through Genetic Algorithm. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
Stable Cluster heads, Overhead Reduction, Genetic Algorithms, Clustering, Ad hoc networks |
28 | Prasad Kulkarni, Dip Goswami, Prithwijit Guha, Ashish Dutta |
Path Planning for a Statically Stable Biped Robot Using PRM and Reinforcement Learning. |
J. Intell. Robotic Syst. |
2006 |
DBLP DOI BibTeX RDF |
PRM, statically stable biped robot, reinforcement learning, potential function |
28 | Nen-Chung Wang, Jhu-Chan Chen |
A Stable On-Demand Routing Protocol for Mobile Ad Hoc Networks with Weight-Based Strategy. |
PDCAT |
2006 |
DBLP DOI BibTeX RDF |
stable route, weighted-based routing, mobile ad hoc networks, Global positioning system, on-demand routing |
28 | Eugene Goldberg |
Testing satisfiability of CNF formulas by computing a stable set of points. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
stable set of points, symmetric CNF formulas, satisfiability problem |
28 | Oh-Young Song, Hyuncheol Shin, Hyeong-Seok Ko |
Stable but nondissipative water. |
ACM Trans. Graph. |
2005 |
DBLP DOI BibTeX RDF |
CIP method, stable fluids, physically based animation, natural phenomena, Navier-Stokes equation, water, multiphase fluid, semi-Lagrangian method |
28 | Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki |
A Discrete Event Control Based on EVALPSN Stable Model Computation. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control |
28 | Zbigniew Switalski |
Order Stable Solutions for Two-sided Matching Problems. |
OR |
2005 |
DBLP DOI BibTeX RDF |
Two-sided matching, College admissions, Gale-Shapley algorithm, Choice function, Stable matching |
28 | Christina Peraki, Sergio D. Servetto |
On the maximum stable throughput problem in random networks with directional antennas. |
MobiHoc |
2003 |
DBLP DOI BibTeX RDF |
maximum stable throughput, wireless networks, network flow, random graphs, directional antennas, multicommodity flow, random networks |
28 | Steven Mascaro, Kevin B. Korb, Ann E. Nicholson |
Suicide as an Evolutionarily Stable Strategy. |
ECAL |
2001 |
DBLP DOI BibTeX RDF |
evolutionarily stable strategies, ethics, artificial life, social simulation, Altruism |
28 | Andreas Brandstädt |
On Robust Algorithms for the Maximum Weight Stable Set Problem. |
FCT |
2001 |
DBLP DOI BibTeX RDF |
Maximum Weight Stable Set Problem on graphs, modules and homogeneous sets in graphs, graph structure, clique width, robust algorithms, prime graphs |
28 | Behrooz Parhami, Ding-Ming Kwai |
Data-Driven Control Scheme for Linear Arrays: Application to a Stable Insertion Sorter. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
stable sorting, tagged insertion sorter, VLSI, priority queue, distributed control, FIFO, linear processor arrays, Data-driven architectures |
28 | Elisa Sayrol |
Modeling the Displaced Frame Difference as an Alpha-Stable Distribution. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
symmetric alpha-stable distributions, robust motion estimation, image sequences, image sequences, probabilistic model, probability density functions, Gaussian distribution, image regions, displaced frame difference |
28 | Ghassan Chehaibar |
Replacement of Open Interface Subnets and Stable State Transformation Equivalence. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Place-Transition Nets, Hierarchical Design and Analysis, Open Interface, Nets and Systems, Stable State Transformation Equivalence and Preorder, Robust Open Interface Nets, Expansion, Replacement |
26 | M. S. Ridout |
Generating random numbers from a distribution specified by its Laplace transform. |
Stat. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Archimedean copula, Laplace transform inversion, Positive stable distribution, Tempered stable distribution |
26 | Jing Ma, Zhiwei Gao 0001 |
General Controller for a Class of Singular System Simultaneous Stabilization. |
HIS (3) |
2009 |
DBLP DOI BibTeX RDF |
singular system, simultaneous stabilization, stable right inverse, stable right null space, general controllers |
26 | Jing Ma, Kun Ma |
Strong Simultaneous Stabilization for a Class of Generalized Linear System. |
HIS (3) |
2009 |
DBLP DOI BibTeX RDF |
strong simultaneous stabilization, stable right inverse, generalized linear systeme, Stable factorization theory |
26 | Luca Paolini, Mauro Piccolo |
Semantically linear programming languages. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
coherence spaces, continous stable and strongly stable functions, PCF, linear functions |
26 | Fangzhen Lin, Jia-Huai You |
Recycling computed answers in rewrite systems for abduction. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
partial stable model semantics, logic programming, abduction, rewrite systems, recycling, Stable model semantics |
26 | J. Greg Nash, Siegfried Hansen |
Modified Faddeeva Algorithm for Concurrent Execution of Linear Algebraic Operations. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
modified Faddeeva algorithm, full-rank matrix problems, numerically-stable partitioning, linear algebraic operations, numerically stable Given's rotations, parallel algorithms, parallel architectures, systolic array, linear algebra, convergence of numerical methods, concurrent execution, data flow architecture |
26 | Umashankar Nagarajan, Anish Mampetta, George Kantor, Ralph L. Hollis |
State transition, balancing, station keeping, and yaw control for a dynamically stable single spherical wheel mobile robot. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Enrico Pilotto, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Compact Preference Representation in Stable Marriage Problems. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Paul E. Dunne, Martin Caminada |
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Thierry Boy de la Tour, Mnacho Echenim |
Determining Unify-Stable Presentations. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Marco J. Lombardi, Simon J. Godsill |
On-line Bayesian estimation of signals in symmetric α-stable noise. |
IEEE Trans. Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Brian C. Dean, Michel X. Goemans, Nicole Immorlica |
The Unsplittable Stable Marriage Problem. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Gentile, Utz-Uwe Haus, Matthias Köppe, Giovanni Rinaldi, Robert Weismantel |
A Primal Approach to the Stable Set Problem. |
ESA |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 18256 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|