|
|
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 |
16 | William Henderson, Bruce S. Northcote, Peter G. Taylor |
Triggered batch movement in queueing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 21(1-2), pp. 125-141, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
batch movement, triggered transitions, Product form, state dependence |
16 | Wilbert H. F. J. Körver |
A universal formalization of the effects of threshold voltages for discrete switch-level circuit models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 266-, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
field effect transistor switches, threshold voltage effects, discrete switch-level circuit models, universal formalization, switch imperfection, CMOS design, demolition degree, CMOS digital integrated circuits, state transitions, integrated circuit modelling, switching circuits |
16 | Sukumar Nandi, B. K. Kar, Parimal Pal Chaudhuri |
Theory and Applications of Cellular Automata in Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(12), pp. 1346-1357, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
CA state transitions, fundamental transformations, programmable cellular automata, pseudorandom pattern generators, VLSI, cryptography, cryptography, stream ciphers, cellular automata, cellular automata, block ciphers, random number generation, VLSI implementation |
16 | Yaron Wolfstahl, Michael Yoeli |
An Equivalence Theorem for Labeled Marked Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(8), pp. 886-891, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
equivalence theorem, labeledmarked graphs, structural determinism, sequential language, firing sequences, Petri nets, Petri nets, multiprocessing systems, formal languages, transitions, concurrent language |
16 | Wim P. Groenendijk, Hanoch Levy |
Performance Analysis of Transaction Driven Computer Systems via Queueing Analysis of Polling Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(4), pp. 455-466, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
transaction driven computer systems, batch transitions, generic queuing model, mean sojourn time, cyclic polling system, performance evaluation, performance analysis, queueing theory, queueing analysis, polling models |
16 | Amir Pnueli |
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 162-175, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
discrete and continuous systems, Real-time, fairness, hybrid systems, Statecharts, Liveness, timed transitions system, justice |
16 | Mohamed G. Gouda, Nicholas J. Multari |
Stabilizing Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 448-458, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
communication protocol stabilization, safe states, convergence stair, two-way handshake, formal specification, formal method, protocols, program verification, state transitions, sliding-window protocol |
16 | Oded Maler, Zohar Manna, Amir Pnueli |
From Timed to Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 447-484, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
discrete and continuous systems, Real-time, hybrid systems, Statecharts, timed transitions system |
16 | Geoffrey M. Brown, Mohamed G. Gouda, Chuan-lin Wu |
Token Systems that Self-Stabilize. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(6), pp. 845-852, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mutual exclusion systems, protocols, self-stabilizing, operating systems (computers), token, critical section, state transitions |
16 | Ernst-Rüdiger Olderog |
Strong bisimilarity on nets: a new concept for comparing net semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 549-573, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness |
16 | Charles-Eric Dessart, Vivian Genaro Motti, Jean Vanderdonckt |
Showing user interface adaptivity by animated transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 95-104, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Bing Wang, Yuexing Han, Luonan Chen, Kazuyuki Aihara |
Multiple Phase Transitions in the Culture Dissemination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 286-290, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dynamics of social systems, Complex systems, Self-organized systems |
16 | Sang-Gui Lee, Sang Bub Lee |
Scaling Relations in Absorbing Phase Transitions with a Conserved Field in One Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 841-852, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
absorbing phase transition, conserved lattice gas, conserved threshold transfer process, critical exponents, scaling relations |
16 | Cyrille Artho |
Separation of Transitions, Actions, and Exceptions in Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 279-286, 2009, Springer, 978-3-642-04771-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Kirsten Sadler, Toni Robertson, Melanie Kan |
Exploring the project transitions and everyday mobile practices of freelancers: emergent concepts from empirical studies of practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 21st Australasian Computer-Human Interaction Conference, OZCHI 2009: Open 24/7, Melbourne, Australia, November 23-27, 2009, pp. 81-88, 2009, ACM, 978-1-60558-854-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile technology use, studies of practice, work/life, mobility |
16 | Jussi Huhtala, Jani Mäntyjärvi, Aino Ahtinen, Leena Ventä, Minna Isomursu |
Animated Transitions for Adaptive Small Size Mobile Menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (1) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I, pp. 772-781, 2009, Springer, 978-3-642-03654-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mobile UI design, animation, transition |
16 | Aika Mukai, Toshiyuki Yamamoto, Makoto J. Hirayama |
A study of correlation between transitions and sound effects in a fairy tale movie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 17-20, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
the relation of link of scenes and transitional motion patterns, the relation of transitional motion patterns and sound effects, conjunction |
16 | Alejandro Millán 0001, Jorge Juan, Manuel J. Bellido, David Guerrero Martos, Paulino Ruiz-de-Clavijo, Julian Viejo |
Power Dissipation Associated to Internal Effect Transitions in Static CMOS Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers, pp. 389-398, 2008, Springer, 978-3-540-95947-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jorge Júlvez |
Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 225-234, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Pan Hui, Anders Lindgren |
Phase transitions of opportunistic communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Challenged Networks ![In: Proceedings of the Third Workshop on Challenged Networks, CHANTS 2008, San Francisco, California, USA, September 15, 2008, pp. 73-80, 2008, ACM, 978-1-60558-186-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
opportunistic networking |
16 | Ingo Scholtes, Jean Botev, Alexander Höhfeld, Hermann Schloss, Markus Esch |
Awareness-Driven Phase Transitions in Very Large Scale Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO ![In: Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008, 20-24 October 2008, Venice, Italy, pp. 25-34, 2008, IEEE Computer Society, 978-0-7695-3404-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Adriano C. M. Pereira, Leonardo Rocha 0001, Fernando Mourão, Wagner Meira Jr., Paulo B. Góes |
Reactivity in Online Auctions: Understanding Bidding Behavior through Reactive Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2008), July 21-14, 2008, Washington, DC, USA, pp. 279-284, 2008, IEEE Computer Society, 978-0-7695-3340-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sasa Mrdovic, Branislava Perunicic |
NIDS based on payload word frequencies and anomaly of transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDIM ![In: Third IEEE International Conference on Digital Information Management (ICDIM), November 13-16, 2008, London, UK, Proceedings, pp. 334-339, 2008, IEEE, 978-1-4244-2917-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Janet Best, Choongseok Park, David Terman, Charles Wilson |
Transitions between irregular and rhythmic firing patterns in excitatory-inhibitory neuronal networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 23(2), pp. 217-235, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Excitatory-inhibitory network, Singular perturbation analysis, Synchronization, Basal ganglia |
16 | Emilio Kropff, Alessandro Treves |
The complexity of latching transitions in large scale cortical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 6(2), pp. 169-185, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Atsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa |
Automatic Extraction and Verification of Page Transitions in aWeb Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 350-357, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Elisangela Rodrigues Vieira, Ana R. Cavalli |
Towards an Automated Test Generation with Delayed Transitions for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 21-24 August 2007, Daegu, Korea, pp. 226-231, 2007, IEEE Computer Society, 0-7695-2975-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Ryan Shaun Joazeiro de Baker, Ma. Mercedes T. Rodrigo, Ulises E. Xolocotzin |
The Dynamics of Affective Transitions in Simulation Problem-Solving Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACII ![In: Affective Computing and Intelligent Interaction, Second International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings, pp. 666-677, 2007, Springer, 978-3-540-74888-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Walter J. Freeman |
Cortical aperiodic shutter enabling phase transitions at theta rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 1192-1197, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Goele Hollanders, Geert Jan Bex, Marc Gyssens, Ronald L. Westra, Karl Tuyls |
On Phase Transitions in Learning Sparse Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings, pp. 591-599, 2007, Springer, 978-3-540-74957-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sparse network reconstruction, machine learning, feature identification |
16 | Leslie Ikemoto, Okan Arikan, David A. Forsyth |
Quick transitions with cached multi-way blends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2007 Symposium on Interactive 3D Graphics, SI3D 2007, April 30 - May 2, 2007, Seattle, Washington, USA, pp. 145-151, 2007, ACM, 978-1-59593-628-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
motion evaluation, motion synthesis, motion blending |
16 | Azadeh Farzan, José Meseguer 0001 |
State Space Reduction of Rewrite Theories Using Invisible Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, pp. 142-157, 2006, Springer, 3-540-35633-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Nobuyuki Ohba, Kohji Takano |
Hardware debugging method based on signal transitions and transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 454-459, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Maxime Taron, Charlotte Ghys, Nikos Paragios |
Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 889-892, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dmitry Nerukh, George Karvounis, Robert C. Glen |
Dynamic Complexity of Chaotic Transitions in High-Dimensional Classical Dynamics: Leu-Enkephalin Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompLife ![In: Computational Life Sciences II, Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006, Proceedings, pp. 129-140, 2006, Springer, 3-540-45767-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
enkephalin, dynamic complexity, folding, computational mechanics |
16 | Neil Walkinshaw, Kirill Bogdanov 0002, Mike Holcombe |
Identifying State Transitions and their Functions in Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAIC PART ![In: Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United Kingdom, pp. 49-58, 2006, IEEE Computer Society, 0-7695-2672-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Baudisch, Desney S. Tan, Maxime Collomb, Daniel C. Robbins, Ken Hinckley, Maneesh Agrawala, Shengdong Zhao, Gonzalo A. Ramos |
Phosphor: explaining transitions in the user interface using afterglow effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, Montreux, Switzerland, October 15-18, 2006, pp. 169-178, 2006, ACM, 1-59593-313-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
comic animation, phosphor, user interfaces, information visualization, diagrams, cartoon animation |
16 | Anne Defaweux, Tom Lenaerts, Jano I. van Hemert |
Evolutionary Transitions as a Metaphor for Evolutionary Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings, pp. 342-352, 2005, Springer, 3-540-28848-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Anne Defaweux, Tom Lenaerts, Jano I. van Hemert, Johan Parent |
Complexity transitions in evolutionary algorithms: evaluating the impact of the initial population. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 2174-2181, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Karl Erich Wolff |
States, Transitions, and Life Tracks in Temporal Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Concept Analysis ![In: Formal Concept Analysis, Foundations and Applications, pp. 127-148, 2005, Springer, 3-540-27891-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Bladh, David A. Carr, Matjaz Kljun |
The Effect of Animated Transitions on User Navigation in 3D Tree-Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 9th International Conference on Information Visualisation, IV 2005, 6-8 July 2005, London, UK, pp. 297-305, 2005, IEEE Computer Society, 0-7695-2397-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Narendra Devta-Prasanna, Sudhakar M. Reddy, Arun Gunda, P. Krishnamurthy, Irith Pomeranz |
Improved Delay Fault Coverage Using Subsets of Flip-flops to Launch Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 202-207, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes |
Composing Transitions into Transactions in UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers, pp. 50-55, 2005, Springer, 3-540-29002-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Guillemain, Jonathan Terroir |
Dynamic Simulation of Note Transitions in Reed Instruments: Application to the Clarinet and the Saxophone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval, Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers, pp. 1-23, 2005, Springer, 3-540-34027-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jiong Yang 0001, Wei Wang 0010 |
AGILE: A General Approach to Detect Transitions in Evolving Data Streams. ![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. 559-562, 2004, IEEE Computer Society, 0-7695-2142-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Transition detection, Variable memory Markov model, Emission tree, Stream processing |
16 | Theo Gevers, Harro M. G. Stokman |
Classifying color edges in video into shadow-geometry, highlight, or material transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 5(2), pp. 237-243, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jan Wessnitzer, Chris Melhuish |
Collective Decision-Making and Behaviour Transitions in Distributed Ad Hoc Wireless Networks of Mobile Robots: Target-Hunting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings, pp. 893-902, 2003, Springer, 3-540-20057-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Mark Foreman, Mikhail Prokopenko, Peter Wang |
Phase Transitions in Self-Organising Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings, pp. 781-791, 2003, Springer, 3-540-20057-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jin Ok Kim, Bum Ro Lee, Chin Hyun Chung, Jun Hwang, Woongjae Lee |
The Uniform Posture Map Algorithm for the Real-Time Interactive Motion Transitions of an Articulated Body. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, pp. 295-304, 2003, Springer, 3-540-40194-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Dexin Li, Qiang Xie, Pai H. Chou |
Scalable modeling and optimization of mode transitions based on decoupled power management architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 119-124, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
compex system, component mode, mode change, mode transition, power management, power model |
16 | András Horváth, Miklós Telek |
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(10), pp. 933-943, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Non-Markovian Stochastic Petri Nets, preemption policies, preemptive repeat identical (pri) type transition, time domain analysis |
16 | Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün |
Compressing Transitions for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 569-581, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Dimitra Giannakopoulou, Flavio Lerda |
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 308-326, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Tom Lenaerts, Anne Defaweux, P. Beyens, Bernard Manderick |
Transitions in a Simple Evolutionary Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001, Proceedings, pp. 436-439, 2001, Springer, 3-540-42567-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Grzegorz Musial, Lech Debski |
Monte Carlo Method with Parallel Computation of Phase Transitions in the Three-Dimensional Ashkin-Teller Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers, pp. 535-543, 2001, Springer, 3-540-43792-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Ken Komiya, Kensaku Sakamoto, Hidetaka Gouzu, Shigeyuki Yokoyama, Masanori Arita, Akio Nishikawa, Masami Hagiya |
Successive State Transitions with I/O Interface by Molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA Computing ![In: DNA Computing, 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000, Revised Papers, pp. 17-26, 2000, Springer, 3-540-42076-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Peter J. Giblin, Benjamin B. Kimia |
On the Local Form and Transitions of Symmetry Sets, Medial Axes, and Shocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Proceedings of the International Conference on Computer Vision, Kerkyra, Corfu, Greece, September 20-25, 1999, pp. 385-391, 1999, IEEE Computer Society, 0-7695-0164-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Katinka Wolter |
Jump Transitions in Second Order FSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1999, Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 24-28 October, 1999, College Park, Maryland, USA, pp. 156-163, 1999, IEEE Computer Society, 0-7695-0381-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
performability modelling, stochastic process, diffusion, stochastic Petri net, Fluid model |
16 | Hillel Miller, Shmuel Katz |
Saving Space by Fully Exploiting Invisible Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 336-347, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Eric Goubault |
Durations for Truly-Concurrent Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 173-187, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Miklós Telek, Andrea Bobbio |
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 471-489, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Queueing systems with preemptive resume service, Stochastic Petri Nets, Transient analysis, Markov regenerative processes |
16 | Walter Vogler |
Asynchronous Communication of Petri Nets and the Refinement of Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 605-616, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jiajian Chen, Jun Xiao 0003, Yuli Gao |
iSlideShow: a content-aware slideshow system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 293-296, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
content-based transition, theme clustering, GPU, slideshow |
16 | Ruiwen Chen, Yongyi Mao, Iluju Kiringa |
GRN model of probabilistic databases: construction, transition and querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 291-302, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
generator-recognizer network, bayesian network, uncertainty, graphical model, probabilistic database |
16 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001 |
Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 5:1-5:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
qualitative and probabilistic uncertainty, description logics, sensing, Reasoning about actions, imprecise probabilities, action languages |
16 | Irith Pomeranz, Sudhakar M. Reddy |
Functional Broadside Tests Under an Expanded Definition of Functional Operation Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(1), pp. 121-129, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Laura Carnevali, Leonardo Grassi, Enrico Vicario |
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(2), pp. 178-194, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Rüyam Acar |
Simulation of interface dynamics: a diffuse-interface model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 25(2), pp. 101-115, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dynamics of interfaces, Cahn-Hilliard equation |
16 | Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap |
An Approach for Test Selection for EFSMs Using a Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 146-162, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jaco Geldenhuys, Henri Hansen, Antti Valmari |
Exploring the Scope for Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 39-53, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Fatemeh Eslami, Amirali Baniasadi, Mostafa Farahani |
Application Specific Transistor Sizing for Low Power Full Adders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 20th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2009, July 7-9, 2009, Boston, MA, USA, pp. 195-198, 2009, IEEE Computer Society, 978-0-7695-3732-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Pierre-Alain Reynier, Arnaud Sangnier |
Weak Time Petri Nets Strike Back!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 557-571, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Debora Gil, Aura Hernández-Sabaté, Mireia Burnat, Steven Jansen, Jordi Martínez-Vilalta |
Structure-Preserving Smoothing of Biomedical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings, pp. 427-434, 2009, Springer, 978-3-642-03766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
non-linear smoothing, anatomical structures segmentation, cardiac magnetic resonance, differential geometry, computerized tomography |
16 | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 155-170, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yihui Liu, Jing Yang, Sanjue Hu |
Transition between two excitabilities in mesencephalic V neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 24(1), pp. 95-104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Steady-state I-V relation, Type 1 excitability, Type 2 excitability, I NaP, I 4-AP, Frequency-current function, Mes V, Bifurcation, Excitability |
16 | Xijiang Lin, Yu Huang 0005 |
Scan Shift Power Reduction by Freezing Power Sensitive Scan Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(4), pp. 327-334, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Scan shift, Low power test, Scan test, Signal probability |
16 | Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry 0001 |
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 598-601, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Amy M. Witherspoon, Roger Azevedo, Sidney K. D'Mello |
The Dynamics of Self-regulatory Processes within Self-and Externally Regulated Learning Episodes During Complex Science Learning with Hypermedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 260-269, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
externally-regulated learning, human tutoring, complex science learning, adaptivity, cognition, metacognition, self-regulated learning, dynamic processes |
16 | Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis |
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 1048-1053, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke |
On Synchronous and Asynchronous Interaction in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 16-35, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yuping Shen, Hassan Foroosh |
View-invariant recognition of body pose from space-time templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Karthik Duraisami, Enrico Macii, Massimo Poncino |
Energy efficiency bounds of pulse-encoded buses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 183-188, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
power reduction., pulse wave transmission, high-speed interconnect, transition activity |
16 | Irith Pomeranz, Sudhakar M. Reddy |
Expanded Definition of Functional Operation Conditions and its Effects on the Computation of Functional Broadside Tests. ![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. 317-322, 2008, IEEE Computer Society, 978-0-7695-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
functional broadside tests, test generation, transition faults, reachable states, full-scan circuits |
16 | Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino |
Modular Neural Networks for Model-Free Behavioral Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2008 , 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part I, pp. 730-739, 2008, Springer, 978-3-540-87535-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Partially observable environment, Reinforcement learning, On-line learning |
16 | Qingli Zhang, Jinxiang Wang 0001, Yizheng Ye |
Delay and Energy Efficient Design of On-Chip Encoded Bus with Repeaters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India, pp. 377-382, 2008, IEEE Computer Society, 0-7695-3083-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Doug L. James, Christopher D. Twigg, Andrew Cove, Robert Y. Wang |
Mesh Ensemble Motion Graphs: Data-driven mesh animation with constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 26(4), pp. 17, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
nonpenetration, integer programming, Collision detection, constraint satisfaction, motion graphs |
16 | Guang-Jun Zhang, Jue Wang, Jian-Xue Xu, Xiang-Bo Wang, Hong Yao |
Mechanism of Bifurcation-Dependent Coherence Resonance of Excitable Neuron Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (12) ![In: Digital Human Modeling, First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 757-766, 2007, Springer, 978-3-540-73318-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coherence resonance, bifurcation point, transition, attractor |
16 | Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir Hossain, Taratip Suwannasart |
Test Data Generation from UML State Machine Diagrams using GAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 47, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML state machine diagram, Genetic algorithm, Test data generation |
16 | Kambiz Rahimi |
Minimizing peak power in synchronous logic circuits. ![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. 247-252, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
power optimization, peak power, clock scheduling |
16 | Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino |
Modular Neural Networks for Reinforcement Learning with Temporal Intrinsic Rewards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 1151-1156, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda |
State Transition Model for Test Sequence Generation of MANET Clustering Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada, pp. 55, 2007, IEEE Computer Society, 0-7695-2881-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Robert A. Joyce, Bede Liu |
Temporal segmentation of video using frame and histogram space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 8(1), pp. 130-140, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mila E. Majster-Cederbaum, Christoph Minnameier |
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 65-79, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Miguel Valero Espada, Jaco van de Pol |
Accelerated Modal Abstractions of Labelled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, pp. 338-352, 2006, Springer, 3-540-35633-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan |
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 252-270, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sailesh Kumar, Sarang Dharmapurikar, Fang Yu 0002, Patrick Crowley, Jonathan S. Turner |
Algorithms to accelerate multiple regular expressions matching for deep packet inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Pisa, Italy, September 11-15, 2006, pp. 339-350, 2006, ACM, 1-59593-308-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
regular expressions, DFA, deep packet inspection |
16 | Weigang Zhang, Jianqiu Lin, Xiaopeng Chen, Qingming Huang, Yang Liu 0006 |
Video Shot Detection Using Hidden Markov Models with Complementary Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (3) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 593-596, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Michael Domaratzki, Kai Salomaa |
Lower Bounds for the Transition Complexity of NFAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 315-326, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dianxiang Xu, Weifeng Xu |
State-based incremental testing of aspect-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006, pp. 180-189, 2006, ACM, 1-59593-300-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented state model, incremental testing, aspect-oriented programming, model-based testing, state model |
Displaying result #201 - #300 of 5860 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|