|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3466 occurrences of 2051 keywords
|
|
|
Results
Found 5860 publication records. Showing 5860 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Maruthappan Shanmugasundaram, Pourang Irani, Carl Gutwin |
Can smooth view transitions facilitate perceptual constancy in node-link diagrams? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Interface ![In: Proceedings of the Graphics Interface 2007 Conference, May 28-30, 2007, Montreal, Canada, pp. 71-78, 2007, ACM Press, 978-1-56881-337-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
node-link connectivity, smooth transitions, evaluation, animations, structure recognition |
58 | Weixiong Zhang |
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 153-167, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Peter J. Giblin, Benjamin B. Kimia, Anthony J. Pollitt |
Transitions of the 3D Medial Axis under a One-Parameter Family of Deformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 31(5), pp. 900-918, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Jeffrey Heer, George G. Robertson |
Animated Transitions in Statistical Data Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 13(6), pp. 1240-1247, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Statistical data graphics, design, information visualization, animation, experiment, transitions |
48 | Stefan Pusca |
Modelling Short Range Alternating Transitions by Alternating Practical Test Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 1053-1059, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
short range phenomena, transitions, test functions |
48 | Maruthappan Shanmugasundaram, Pourang Irani |
The effect of animated transitions in zooming interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced Visual Interfaces, AVI 2008, Napoli, Italy, May 28-30, 2008, pp. 396-399, 2008, ACM Press, 978-1-60558-141-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
information visualization, animation, zooming interfaces |
43 | Partha Pratim Mohanta, Sanjoy Kumar Saha 0001, Bhabatosh Chanda |
Shot Boundary Detection Using Frame Transition Parameters and Edge Strength Scatter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings, pp. 641-648, 2007, Springer, 978-3-540-77045-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
abrupt transitions, gradual transitions, cut, shot detection |
43 | Gerald Bieber, Philipp Koldrack, Christopher Sablowski, Christian Peter, Bodo Urban |
Mobile physical activity recognition of stand-up and sit-down transitions for user behavior analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 3rd International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2010, Samos, Greece, June 23-25, 2010, 2010, ACM, 978-1-4503-0071-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
DiaTrace, physical activity transitions, user state detection, assistive technologies, activity monitoring, acceleration sensor |
43 | Jing Wang 0011, Bobby Bodenheimer |
Synthesis and evaluation of linear motion transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(1), pp. 1:1-1:15, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
linear blending, motion transitions, Animation, perception |
43 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings, pp. 18-32, 2007, Springer, 978-3-540-75210-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
43 | Céline Schlienger, Pierre Dragicevic, Claire Ollagnon, Stéphane Chatty |
Les transitions visuelles différenciées: principes et applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, Montreal, Quebec, Canada, 18-21 April 2006, pp. 59-66, 2006, ACM, 1-59593-350-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
animated transitions, animation, situation awareness, cartoon |
43 | Ville Laurikari |
NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 181-187, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata |
43 | Geert Stremersch, René K. Boel |
Structuring Acyclic Petri Nets for Reachability Analysis and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 12(1), pp. 7-41, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
acyclic Petri net, uncontrollable transitions, Petri net, supervisory control |
42 | Peter J. Giblin, Benjamin B. Kimia |
Transitions of the 3D Medial Axis under a One-Parameter Family of Deformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2002, 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part II, pp. 718-734, 2002, Springer, 3-540-43744-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Matthias Jantzen, Georg Zetzsche |
Labeled Step Sequences in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 270-287, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Keerthi Heragu, Janak H. Patel, Vishwani D. Agrawal |
Segment delay faults: a new fault model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 32-41, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
segment delay faults, delay defect, distributed defect, rising transitions, falling transitions, transition tests, nonrobust tests, VLSI, fault diagnosis, logic testing, delays, integrated circuit testing, fault model, automatic testing, circuit analysis computing, robust tests, integrated circuit modelling, production testing, spot defect, manufacturing defects |
38 | Marwan A. Gharaybeh, Michael L. Bushnell, Vishwani D. Agrawal |
Parallel concurrent path-delay fault simulation using single-input change patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 9th International Conference on VLSI Design (VLSI Design 1996), 3-6 January 1996, Bangalore, India, pp. 426-431, 1996, IEEE Computer Society, 0-8186-7228-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
concurrent path-delay fault simulation, single-input change patterns, singly-testable path-delay faults, random values, rising transitions, falling transitions, sixteen-valued algebra, machine word parallelism, ISCAS '85 benchmarks, ISCAS '89 benchmarks, parallel algorithms, fault diagnosis, logic testing, delays, Boolean functions, sequential circuits, logic CAD, circuit analysis computing, flip-flops, Boolean operations |
38 | Fanny Chevalier, Pierre Dragicevic, Anastasia Bezerianos, Jean-Daniel Fekete |
Using text animated transitions to support navigation in document histories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 683-692, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
animated transitions, revision control, text editing |
38 | Jussi Huhtala, Ari-Heikki Sarjanoja, Jani Mäntyjärvi, Minna Isomursu, Jonna Häkkilä |
Animated UI transitions and perception of time: a user study on animated effects on a mobile screen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1339-1342, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ui animations, ui transitions, user studies, ui design |
38 | Kara Schultz, Pascale Carayon, Ann Schoofs Hundt, Scott R. Springman |
Care transitions in the outpatient surgery preoperative process: facilitators and obstacles to information flow and their consequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 9(4), pp. 219-231, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Transitions of care, Outpatient surgery, Awareness, Handoffs, Patient safety |
38 | Myra Spiliopoulou, Irene Ntoutsi, Yannis Theodoridis, René Schult |
MONIC: modeling and monitoring cluster transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Philadelphia, PA, USA, August 20-23, 2006, pp. 706-711, 2006, ACM, 1-59593-339-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cluster change detection, cluster transitions, clusters, data streams, temporal analysis |
37 | Vishwani D. Agrawal |
Low-Power Design by Hazard Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 193-197, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hazard filtering, multiple transitions, hazard pulses, differential delay, low-power design, power consumption, CMOS logic circuits, CMOS circuit, logic gate, gate delays |
37 | Jorik Blaas, Charl P. Botha, Edward Grundy, Mark W. Jones, Robert S. Laramee, Frits H. Post |
Smooth Graphs for Visual Exploration of Higher-Order State Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(6), pp. 969-976, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Yoshiki Higo, Kenji Murao, Shinji Kusumoto, Katsuro Inoue |
Predicting fault-prone modules based on metrics transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEFECTS ![In: Proceedings of the 2008 Workshop on Defects in Large Software Systems, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), DEFECTS 2008, Seattle, Washington, USA, July 20, 2008, pp. 6-10, 2008, ACM, 978-1-60558-051-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Mathieu Giraud, Philippe Veber, Dominique Lavenier |
Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, pp. 23-33, 2006, Springer, 3-540-37213-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Roberto Barbuti, Luca Tesei |
Timed automata with urgent transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(5), pp. 317-347, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Masayoshi Kubo, Robert C. Wagenaar, Elliot Saltzman, Kenneth G. Holt |
Biomechanical mechanism for transitions in phase and frequency of arm and leg swing during walking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 91(2), pp. 91-98, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Coordination dynamics, Biomechanics, Gait |
37 | Christophe Giovannangeli, Philippe Gaussier |
Autonomous vision-based navigation: Goal-oriented action planning by transient states prediction, cognitive map building, and sensory-motor learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 676-683, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan |
Transaction Based Modeling and Verification of Hardware Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings, pp. 53-61, 2007, IEEE Computer Society, 0-7695-3023-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Nicolas Cuperlier, Mathias Quoy, Christophe Giovannangeli, Philippe Gaussier, Philippe Laroque |
Transition Cells for Navigation and Planning in an Unknown Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ![In: From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings, pp. 286-297, 2006, Springer, 3-540-38608-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | A. Bourguet-Rouger |
External Behaviour Equivalence between two Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 237-256, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | K. S. Sainarayanan, J. V. R. Ravindra, M. B. Srinivas |
Minimizing Simultaneous Switching Noise (SSN) using Modified Odd/Even Bus Invert Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2006), 17-19 January 2006, Kuala Lumpur, Malaysia, pp. 336-339, 2006, IEEE Computer Society, 0-7695-2500-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Simultaneous Switching Noise (SSN), Odd Simultaneous Transitions (OST), Even Simultaneous Transitions (EST), VLSI, Low power, Coding |
33 | Carlos Humberto Llanos Quintero, Marius Strum |
SINMEF - A Decomposition Based Synthesis Tool for Large FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 4-6 March 1999, Ann Arbor, MI, USA, pp. 176-179, 1999, IEEE Computer Society, 0-7695-0104-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
non-deterministic transitions, redundant transitions, decomposition, FSM, clustering technique |
33 | Alan L. Yuille, James M. Coughlan |
Fundamental Limits of Bayesian Inference: Order Parameters and Phase Transitions for Road Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(2), pp. 160-173, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Bayesian inference, phase transitions, curve tracking |
33 | Ramón Béjar, Felip Manyà |
Phase Transitions in the Regular Random 3-SAT Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 11th International Symposium, ISMIS '99, Warsaw, Poland, June 8-11, 1999, Proceedings, pp. 292-300, 1999, Springer, 3-540-65965-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
regular CNF formulas, benchmarks, satisfiability, threshold, Multiple-valued logics, phase transitions |
33 | Milos D. Ercegovac, Tomás Lang |
Sign detection and comparison networks with a small number of transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 59-66, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
comparison networks, signal transitions, iterative implementation, k-bit modules, digital arithmetic, flip-flops, tree network, sign detection |
32 | Yu-Ze Wu, Mango Chia-Tso Chao |
Scan-Chain Reordering for Minimizing Scan-Shift Power Based on Non-Specified Test Cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 26th IEEE VLSI Test Symposium (VTS 2008), April 27 - May 1, 2008, San Diego, California, USA, pp. 147-154, 2008, IEEE Computer Society, 978-0-7695-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
signal transitions, correlation, reordering, scan-chain |
32 | Madhu Mutyam |
Selective shielding technique to eliminate crosstalk transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(3), pp. 43:1-43:20, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
power consumption, Crosstalk, switching activity, bus encoding |
32 | Alexandre Hardy |
Programmable transitions for video stream editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Afrigraph ![In: Proceedings of the 6th International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2009, Pretoria, South Africa, February 4-6, 2009, pp. 101-107, 2009, ACM, 978-1-60558-428-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
video shaders, stream processing, video editing |
32 | Andreas Gegenfurtner, Markus Nivala, Roger Säljö, Erno Lehtinen |
Capturing Individual and Institutional Change: Exploring Horizontal versus Vertical Transitions in Technology-Rich Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Learning in the Synergy of Multiple Disciplines, 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, Nice, France, September 29 - October 2, 2009, Proceedings, pp. 676-681, 2009, Springer, 978-3-642-04635-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
professional learning, technology, expertise, change, human-machine systems |
32 | Zhiyu Liu, Volkan Kursun |
Charge Recycling MTCMOS for Low Energy Active/Sleep Mode Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 1389-1392, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Georg Schnitger |
Regular Expressions and NFAs Without epsilon-Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings, pp. 432-443, 2006, Springer, 978-3-540-32301-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Juraj Hromkovic, Georg Schnitger |
NFAs With and Without epsilon-Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 385-396, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Kerawit Somchaipeng, Jon Sporring, Sven Kreiborg, Peter Johansen |
Transitions of Multi-scale Singularity Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSSCV ![In: Deep Structure, Singularities, and Computer Vision, First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers, pp. 223-233, 2005, Springer, 3-540-29836-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Patrick E. McSharry |
Detection of Dynamical Transitions in Biomedical Signals Using Nonlinear Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part III, pp. 483-490, 2004, Springer, 3-540-23205-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Ulrich Rückert 0002, Stefan Kramer 0001, Luc De Raedt |
Phase Transitions and Stochastic Local Search in k-Term DNF Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2002, 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002, Proceedings, pp. 405-417, 2002, Springer, 3-540-44036-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Hong Liu 0004, Raymond E. Miller |
Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan, pp. 6-13, 1995, IEEE Computer Society, 0-8186-7216-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Frédéric Lang, Radu Mateescu 0001 |
Partial Order Reductions Using Compositional Confluence Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 157-172, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
On the Power of Non-Observable Actions in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, pp. 257-268, 1996, Springer, 3-540-60922-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid |
Timed Web Services Analysis after Removing Complex Implicit Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, pp. 153-160, 2011, IEEE Computer Society, 978-1-4577-0842-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Implicit transitions, Web Services, Business protocols |
28 | Michiel De Smet, Andreas Weiermann |
Phase Transitions for Weakly Increasing Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 168-174, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ackermann function, weakly increasing sequences, Erdös-Szekeres, Dilworth, phase transitions, Ramsey theory |
27 | Adam Barclay, Hannes Kaufmann |
An Event-Driven, Stochastic, Undirected Narrative (EDSUN) Framework for Interactive Contents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIDSE ![In: Technologies for Interactive Digital Storytelling and Entertainment, Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006., pp. 13-24, 2006, Springer, 3-540-49934-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
stochastic transitions, undirected narrative, augmented reality, framework, grammar, content, event driven, story telling |
27 | K. Ananda Vardhan, Y. N. Srikant |
Transition aware scheduling: increasing continuous idle-periods in resource units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4-6, 2005, pp. 189-198, 2005, ACM, 1-59593-019-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
leakage energy consumption, instruction scheduling, transitions, functional units, idle periods |
27 | Jianmin Jiang, Jinzhao Wu |
The Preservation of Interleaving Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 580-589, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bundle action transitions, interleaving equivalences, action refinement, Event structures |
27 | Monika Büscher, Gunnar Kramp, Peter Gall Krogh |
In formation: Support for flexibility, mobility, collaboration, and coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 7(3-4), pp. 136-146, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Emerging practice, Interdisciplinary participatory design, Transitions |
27 | Shyamanta M. Hazarika, Anthony G. Cohn 0001 |
Qualitative Spatio-Temporal Continuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Foundations of Geographic Information Science, International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001, Proceedings, pp. 92-107, 2001, Springer, 3-540-42613-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
conceptual neighbourhoods, continuity, transitions, spatio-temporal reasoning, space-time |
27 | Bert O. de Brock |
Declarative Specifications of Complex Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 150-166, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
transaction design, database dynamics, declarative specifications of database behavior, (static and dynamic) integrity constraints, (allowable versus available) transitions, cascading deletes, adaptations, semantics, Transactions, transaction models |
27 | Derek Coleman, Fiona Hayes, Stephen Bear |
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(1), pp. 9-18, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods |
27 | Arjan Kuijper |
Transitions of a Multi-scale Image Hierarchy Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings, pp. 844-855, 2009, Springer, 978-3-642-02255-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Catalin Dima, Ruggero Lanotte |
Removing All Silent Transitions from Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, pp. 118-132, 2009, Springer, 978-3-642-04367-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Hima B. Puppala, Robert Kozma 0001 |
Identification of phase transitions in simulated EEG signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 3511-3517, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Alessandro Giua, Daniele Corona, Carla Seatzu |
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(1), pp. 85-108, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
labeled nets, marking estimation, Petri nets, observer |
27 | Robert Kozma 0001, Marko Puljic, Paul Balister, Béla Bollobás, Walter J. Freeman |
Phase transitions in the neuropercolation model of neural populations with mixed local and non-local interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 92(6), pp. 367-379, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Guangming Xing |
A simple way to construct NFA with fewer states and transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 214-218, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | David J. Pinto, Stephanie R. Jones, Tasso J. Kaper, Nancy Kopell |
Analysis of State-Dependent Transitions in Frequency and Long-Distance Coordination in a Model Oscillatory Cortical Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 15(2), pp. 283-298, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
gamma, synchrony, rhythms, alpha, neuromodulation, arousal, beta, neocortex |
27 | Hemantha Kodikara Arachchi, Warnakulasuriya Anil Chandana Fernando |
Improving the video quality at scene transitions for MPEG-1/2 video encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 852-855, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Seok-Woo Jang, Gye-Young Kim, Hyung-Il Choi |
FAM-Based Fuzzy Inference for Detecting Shot Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition, Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001, Proceedings, pp. 52-61, 2001, Springer, 3-540-42359-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Shigeo Takahashi, Yoshiyuki Kokojima, Ryutarou Ohbuchi |
Explicit Control of Topological Transitions in Morphing Shapes of 3D Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 9th Pacific Conference on Computer Graphics and Applications, PG 2001, Tokyo, Japan, October 16-18, 2001, pp. 70-81, 2001, IEEE Computer Society, 0-7695-1227-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
3D mesh morphing, 4D hypersurfaces, topological handles, embeddings, critical points, tetrahedral meshes, key-frames, topological evolutions |
27 | Seok-Woo Jang, Gye-Young Kim, Hyung-Il Choi |
Detecting Shot Transitions for Video Indexing with FAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks - ICANN 2001, International Conference Vienna, Austria, August 21-25, 2001 Proceedings, pp. 1020-1025, 2001, Springer, 3-540-42486-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Rajeev Murgai, Masahiro Fujita |
On Reducing Transitions Through Data Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 82-, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira |
Using Complementation and Resequencing to Minimize Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 35th Conference on Design Automation, Moscone center, San Francico, California, USA, June 15-19, 1998., pp. 694-697, 1998, ACM Press, 0-89791-964-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
reconfigurable computing, event-driven simulation |
27 | Volker Diekert, Paul Gastin, Antoine Petit 0001 |
Removing epsilon-Transitions in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings, pp. 583-594, 1997, Springer, 3-540-62616-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Wim L. G. van Warmerdam, V. Ralph Algazi |
Describing 1-D Intensity Transitions with Gaussian Derivatives at the Resolutions Matching the Transition Widths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(9), pp. 973-977, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
width matching, 1D intensity transition, transition width, zero-crossing slope, pattern recognition, pattern recognition, picture processing, picture processing, edge detection, spatial structure, Gaussian derivatives |
26 | Antti Valmari |
Bisimilarity Minimization in O(m logn) Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 123-142, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Analysis of reachability graphs, verification of systems |
26 | Michael Philetus Weller, Brian T. Kirby, H. Benjamin Brown, Mark D. Gross, Seth Copen Goldstein |
Design of prismatic cube modules for convex corner traversal in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1490-1495, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yuta Yasugahira, Yasuo Horiuchi, Shingo Kuroiwa |
Analysis of hand movement variation related to speed in Japanese sign language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUCS ![In: Proceedings of the 3rd International Universal Communication Symposium, IUCS 2009, Tokyo, Japan, 3-4 December 2009, pp. 331-334, 2009, ACM, 978-1-60558-641-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Japanese sign language, transition, hand movement |
26 | Ralph Ewerth, Bernd Freisleben |
Unsupervised Detection of Gradual Video Shot Changes with Motion-Based False Alarm Removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 11th International Conference, ACIVS 2009, Bordeaux, France, September 28 - October 2, 2009. Proceedings, pp. 253-264, 2009, Springer, 978-3-642-04696-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
gradual transition detection, gradual video shot changes, video retrieval, Video indexing, shot boundary detection |
26 | George Jiroveanu, René K. Boel, Behzad Bordbar |
On-Line Monitoring of Large Petri Net Models Under Partial Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(3), pp. 323-354, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Monitoring, Diagnosis, DES |
26 | Thomas Ball, Orna Kupferman |
Better Under-Approximation of Programs by Hiding Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 314-328, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Sharon Shoham, Orna Grumberg |
3-Valued Abstraction: More Precision at Less Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 399-410, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Unni Narayanan, Ki-Seok Chung, Taewhan Kim |
Enhanced bus invert encodings for low-power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 25-28, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Jesús Bescós, José María Martínez Sanchez, Julián Cabrera, José M. Menéndez, Guillermo Cisneros |
Gradual Shot Transition Detection Based on Multidimensional Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIAI ![In: 4th IEEE Southwest Symposium on Image Analysis and Interpretation, SSIAI 2000, Austin, TX, USA, April 2-4, 2000, pp. 53-57, 2000, IEEE Computer Society, 0-7695-0595-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Karl R. P. H. Leung |
Extending Statecharts with ad lib and multi-thread features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 330-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram |
26 | Jonathan D. Hay, Joanne M. Atlee |
Composing features and resolving interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings, pp. 110-119, 2000, ACM, 978-1-58113-205-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
modularity, conflict resolution, feature interaction, incremental programming |
26 | Vijay Sundararajan, Keshab K. Parhi |
Reducing bus transition activity by limited weight coding with codeword slimming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000, pp. 13-16, 2000, ACM, 1-58113-251-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Walter Vogler |
Concurrent Implementation of Asynchronous Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 284-303, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Joseph Sifakis |
A General Framework for the Composition of Timed Systems Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 27-28, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Ilyes Hamitouche |
Machine learning for determining continuous conformational transitions of biomolecular complexes from single-particle cryo-electron microscopy images. (Apprentissage automatique pour la détermination des transitions conformationnelles continues de complexes biomoléculaires à partir des images de cryo microscopie électronique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
22 | Elizabeth Walton |
Dance style transitions: from dancers' practice to movement-based technology. (Transitions de styles de danse: de la pratique des danseurs à la technologie basée sur le mouvement). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
22 | John R. Fanchi |
Neutrino Flavor Transitions as Mass State Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(8), pp. 948, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Mahmudur Rahman Fatmi, Muhammad Ahsanul Habib |
Microsimulation of life-stage transitions and residential location transitions within a life-oriented integrated urban modeling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Environ. Urban Syst. ![In: Comput. Environ. Urban Syst. 69, pp. 87-103, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Yong-Jia He, Jing Zhou, Su-Peng Li, Zheng-Hang Sun |
Quantum coherence as indicators of quantum phase transitions, factorization and thermal phase transitions in the anisotropic XY model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 17(11), pp. 320, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Bellitto |
Walks, Transitions and Geometric Distances in Graphs. (Marches, Transitions et Distances Géométriques dans les Graphes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
22 | María-Jesús Lobo |
Interactive Transitions for Map Applications. (Transitions interactives pour des applications cartographiques). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
22 | Maxime Cordeil |
Exploration et exploitation de l'espace de conception des transitions animées en visualisation d'information. (Exploration and Exploitation of the design space of animated transitions in Information Visualization). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
22 | Julien Hirel |
Codage hippocampique par transitions spatio-temporelles pour l'apprentissage autonome de comportements dans des tâches de navigation sensori-motrice et de planification en robotique. (Hippocampal coding of spatio-temporal transitions for autonomous behavior learning in robotic tasks of sensori-motor navigation and planning). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
22 | Nicolas Stouls |
Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. (Symbolic and labelled transitions systems for the design and the validation of refined B models). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
22 | Huai-Sheng Huang, Yu-Jen Chen, Shih-Lin Wu, Jen-Jee Chen |
A power saving scheduling algorithm for multiple MSSs in large-scale IEEE 802.16e environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 900-904, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
IEEE 802.16-2009, multiple MSSs, power saving class (PSC), energy saving, state transitions |
22 | Shivkumar Sabesan, Niranjan Chakravarthy, Kostas Tsakalis, Panos M. Pardalos, Leonidas D. Iasemidis |
Measuring resetting of brain dynamics at epileptic seizures: application of global optimization and spatial synchronization techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 17(1), pp. 74-97, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quadratic binary programming, Dynamical Synchronization, Spatiotemporal transitions, Epileptic seizure dynamics |
22 | Gabriel Istrate, Stefan Boettcher, Allon G. Percus |
Spines of random constraint satisfaction problems: definition and connection with computational complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 44(4), pp. 353-372, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
resolution complexity, constraint satisfaction problems, phase transitions, spine |
Displaying result #1 - #100 of 5860 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|