|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10131 occurrences of 4897 keywords
|
|
|
Results
Found 29207 publication records. Showing 29204 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | George Varghese, Mahesh Jayaram |
The fault span of crash failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(2), pp. 244-293, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Kent L. Einspahr, Shashank K. Mehta, Sharad C. Seth |
A synthesis for testability scheme for finite state machines using clock control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(12), pp. 1780-1792, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Sameer Sharma, Michael S. Hsiao |
Partial Scan Using Multi-Hop State Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 17th IEEE VLSI Test Symposium (VTS '99), 25-30 April 1999, San Diego, CA, USA, pp. 121-127, 1999, IEEE Computer Society, 0-7695-0146-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Hsu-Chun Yen |
Priority Conflict-Free Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(8), pp. 673-688, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin |
State-Space Caching Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 178-191, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Adam Bennett, Matthew Coxon, Katerina Mania |
The effect of stereo and context on memory and awareness states in immersive virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 7th Symposium on Applied Perception in Graphics and Visualization, APGV 2010, Los Angeles, California, USA, July 23-24, 2010, pp. 135-140, 2010, ACM, 978-1-4503-0248-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
perceptual fidelity, spatial awareness, simulations |
17 | Eric Bodden |
Efficient hybrid typestate analysis by determining continuation-equivalent states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 5-14, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
typestate analysis, static analysis, runtime monitoring |
17 | Ghanim Ullah, John R. Cressman Jr., Ernest Barreto, Steven J. Schiff |
The influence of sodium and potassium dynamics on excitability, seizures, and the stability of persistent states: II. Network and glial dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 26(2), pp. 171-183, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Glia buffering, Persistent activity, Neuronal networks, Instability, Seizures |
17 | Masood Mehmood Khan, Robert D. Ward, Michael Ingleby |
Classifying pretended and evoked facial expressions of positive and negative affective states using infrared measurement of skin temperature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Appl. Percept. ![In: ACM Trans. Appl. Percept. 6(1), pp. 6:1-6:22, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Physiology-based automated affect recognition, affective computing and thermal infrared imaging, facial expression classification |
17 | Mitsuhiro Kamezaki, Hiroyasu Iwata, Shigeki Sugano |
Primitive static states for intelligent operated-work machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1334-1339, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ross Duncan, Simon Perdrix |
Graph States and the Necessity of Euler Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 167-177, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
graphical calculi, quantum computation, monoidal categories |
17 | Lianzhen Liu, Xiangyang Zhang |
States on R0 algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(11), pp. 1099-1104, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
R 0 algebra, MV algebra, State |
17 | Rakesh Kumar Sinha |
Artificial Neural Network and Wavelet Based Automated Detection of Sleep Spindles, REM Sleep and Wake States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 32(4), pp. 291-299, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Sleep-wake classification, ANN, Power spectrum, Wavelet coefficients |
17 | Cui Xu, Ying Zheng, Zengfu Wang |
Eye states detection by boosting Local Binary Pattern Histogram features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 1480-1483, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jigui Jian, Yanjun Shen, Hui Yu 0003 |
Synchronization of Rikitake Chaotic Attractor via Partial System States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2919-2924, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Ruini Xue, Wenguang Chen, Weimin Zheng |
CprFS: a user-level file system to support consistent file states for checkpoint and restart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 22nd Annual International Conference on Supercomputing, ICS 2008, Island of Kos, Greece, June 7-12, 2008, pp. 114-123, 2008, ACM, 978-1-60558-158-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
checkpoint and restart, file checkpointing, fault tolerance, parallel computing |
17 | Martin Pelikan, Helmut G. Katzgraber, Sigismund Kobe |
Finding ground states of Sherrington-Kirkpatrick spin glasses with hierarchical boa and genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 447-454, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hBOA, sherrington-kirkpatrick spin glass, sk spin glass, genetic algorithm, evolutionary computation, branch and bound, estimation of distribution algorithms, EDA, hierarchical boa |
17 | Akihiro Miyata, Takefumi Hayashi, Shota Yamamoto, Masaki Hayashi, Hiroshi Shigeno, Ken-ichi Okada |
A Proposal of Indexing Conference Movies with Thinking States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C5 ![In: Fifth International Conference on Creating, Connecting and Collaborating through Computing (C5 2007), 24-26 January 2007, Kyoto, Japan, pp. 61-70, 2007, IEEE Computer Society, 978-0-7695-2806-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | George F. Viamontes, Igor L. Markov, John P. Hayes |
Checking equivalence of quantum circuits and states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 69-74, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kui Cai 0001, Kees A. Schouhamer Immink |
On the Number of Encoder States of a Type of RLL Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(7), pp. 3313-3319, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Anatolij Dvurecenskij, Jirí Rachunek |
Bounded commutative residuated l-monoids with general comparability and states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(3), pp. 212-218, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS classification: 06D35, 03G25, 28E15, 03B50, 06F05 |
17 | Tomás Kroupa |
Representation and extension of states on MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(4), pp. 381-392, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B52, 28E99, 03E72 |
17 | Janusz Borkowski, Damian Kopanski, Marek Tudruj |
Usage of Global States-Based Application Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 6-9 July 2006, Timisoara, Romania, pp. 309-316, 2006, IEEE Computer Society, 0-7695-2638-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Burke T. Ward, Janice C. Sipior, Wayne G. Bremser, David B. McGinty |
A comparison of United States and European union taxation of e-commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce - Innovations for Conquering Current Barriers, Obstacles and Limitations to Conducting Successful Business on the Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16, 2006, pp. 343-348, 2006, ACM, 1-59593-392-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
e-commerce taxation, internet taxation, sales tax, use tax, value added tax |
17 | Aditi Roy, Shamik Sural, Jayanta Mukherjee 0001, Arun K. Majumdar |
Modeling of Echocardiogram Video Based on Views and States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVGIP ![In: Computer Vision, Graphics and Image Processing, 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006, Proceedings, pp. 397-408, 2006, Springer, 3-540-68301-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dimitris Kugiumtzis, Angeliki Papana, Alkiviadis Tsimpiris, Ioannis Vlachos, Pål G. Larsson |
Time Series Feature Evaluation in Discriminating Preictal EEG States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006, Proceedings, pp. 298-310, 2006, Springer, 3-540-68063-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Young-Suk Shin |
Facial Expression Recognition in Various Internal States Using Independent Component Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMDO ![In: Articulated Motion and Deformable Objects, 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings, pp. 291-299, 2006, Springer, 3-540-36031-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Charles H. Bennett, Patrick M. Hayden, Debbie W. Leung, Peter W. Shor, Andreas J. Winter 0002 |
Remote preparation of quantum states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(1), pp. 56-74, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jinjun Chen, Yun Yang 0001 |
Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: First International Conference on e-Science and Grid Technologies (e-Science 2005), 5-8 December 2005, Melbourne, Australia, pp. 124-131, 2005, IEEE Computer Society, 0-7695-2448-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ågotnes, Michal Walicki |
Complete Axiomatizations of Finite Syntactic Epistemic States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 33-50, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel |
Mediation Using m-States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 489-500, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Boris Konev, Frank Wolter, Michael Zakharyaschev |
Temporal Logics over Transitive States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, pp. 182-203, 2005, Springer, 3-540-28005-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Debus, Pierre E. Dupont |
Distinguishability and Identifiability of Contact States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 1135-1140, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Keith Noto, Mark Craven |
Learning Regulatory Network Models that Represent Regulator States and Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Regulatory Genomics ![In: Regulatory Genomics, RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers, pp. 52-64, 2004, Springer, 3-540-24456-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | 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 |
|
17 | Andrew Stutzman |
Campus planning portfolio: using the peopleSoft portal to develop a planning website for middle states accreditation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 32nd Annual ACM SIGUCCS Conference on User Services 2004, Baltimore, MD, USA, October 10-13, 2004, pp. 23-25, 2004, ACM, 1-58113-869-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
peopleSoft enterprise portal 8.8, planning portfolio, portal, accreditation |
17 | Zhancheng Li, Minfen Shen, Patch Beadle |
Classification of EEG Signals Under Different Brain Functional States Using RBF Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2004, International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part II, pp. 356-361, 2004, Springer, 3-540-22843-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Xiaodong Zhuang, Qingchun Meng, Bo Yin, Yun Gao |
Reinforcement learning based on spatial and temporal association of states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5980-5984, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Awedh, Fabio Somenzi |
Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 230-244, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Sandy Irani, Sandeep K. Shukla, Rajesh K. Gupta 0001 |
Online strategies for dynamic power management in systems with multiple power-saving states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 2(3), pp. 325-346, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
power management, Dynamic, online algorithms |
17 | Janusz Borkowski, Marek Tudruj, Damian Kopanski |
Graphical Design Tool for Parallel Programs with Execution Control Based on Global Application States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 13-14 October 2003, Ljubljana, Slovenia, pp. 37-42, 2003, IEEE Computer Society, 0-7695-2069-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Souradyuti Paul, Bart Preneel |
Analysis of Non-fortuitous Predictive States of the RC4 Keystream Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings, pp. 52-67, 2003, Springer, 3-540-20609-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Tim French 0002 |
Quantified Propositional Temporal Logic with Repeating States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 155-165, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Eva Hudlicka, Michael D. McNeese |
Assessment of User Affective and Belief States for Interface Adaptation: Application to an Air Force Pilot Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 12(1), pp. 1-47, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
affect adaptation, affect assessment, human-computer interaction, user modeling, affective computing, adaptive interface, aviation |
17 | Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen |
Privacy and Interaction in Quantum Communication Complexity and a Theorem about the Relative Entropy of Quantum States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 429-438, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ajith K. Narayanan |
Realms and states: a framework for location aware mobile computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop Mobile Commerce ![In: Proceedings of the 1st International Workshop on Mobile Commerce, Rome, Italy, July, 21, 2001, pp. 48-54, 2001, ACM, 1-58113-376-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
context service, realms, mobile computing, context aware, location aware, location privacy, location service |
17 | Jérôme Lang, Pierre Marquis, Mary-Anne Williams |
Updating Epistemic States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings, pp. 297-308, 2001, Springer, 3-540-42960-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Marc S. Atkin, Paul R. Cohen |
Using simulation and critical points to define states in continuous search spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 464-470, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Scheutz |
Surviving in a Hostile Multi-agent Environment: How Simple Affective States Can Aid in the Competition for Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montréal, Quebec, Canada, May 14-17, 2000, Proceedings, pp. 389-399, 2000, Springer, 3-540-67557-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Roman Bittner, Pavel Smrcka, Petr Vysoký, Karel Hána, Lubomir Pousek, Petr Schreib |
Detecting of Fatigue States of a Car Driver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMDA ![In: Medical Data Analysis, First International Symposium, ISMDA 2000, Frankfurt, Germany, September 29-30, 2000, Proceedings, pp. 260-273, 2000, Springer, 3-540-41089-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Søren Forchhammer |
Image Coding Using Markov Models with Hidden States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 1999, Snowbird, Utah, USA, March 29-31, 1999., pp. 524, 1999, IEEE Computer Society, 0-7695-0096-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Helge Rosé, Werner Ebeling, Torsten Asselmeyer |
The Density of States - A Measure of the Difficulty of Optimisation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings, pp. 208-217, 1996, Springer, 3-540-61723-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Mark Temte |
A Framework for Accessing Data in Models with Many Discrete States (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 416, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Asma Moubaiddin, Nadim Obeid |
Partial information basis for agent-based collaborative dialogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 30(2), pp. 142-167, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Partial information states, Agent, Theorem proving, Argument, Dialogue, Three-valued logic, Nonmonotonic |
17 | Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks |
Typestate-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 1015-1022, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
programming language, objects, types, states, permissions, typestate, paradigms |
17 | Wolfgang Löhr, Nihat Ay |
Non-sufficient Memories That Are Sufficient for Prediction. ![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. 265-276, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
causal states, ?-machine, hidden Markov models, HMM, prediction, computational mechanics |
17 | Alexander Knauf, Thomas C. Schmidt, Matthias Wählisch |
Scalable distributed conference control in heterogeneous peer-to-peer scenarios with SIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 5th International Conference on Mobile Multimedia Communications, MobiMedia 2009, London, UK, September 7-9, 2009, 2009, ICST, 978-963-9799-62-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ID locator split, conference event states, distributed conference control, mobile multimedia communication, tightly coupled SIP conferencing, P2P systems |
17 | Corrado Loglisci, Donato Malerba |
A Temporal Data Mining Approach for Discovering Knowledge on the Changes of the Patient's Physiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 26-35, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Physiological Data, Events, States, Temporal Data Mining |
17 | Sergio Tafur, Ivan A. Mikhailov, Kevin D. Belfield, Artëm E. Masunov |
Predictions of Two Photon Absorption Profiles Using Time-Dependent Density Functional Theory Combined with SOS and CEO Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (2) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II, pp. 179-188, 2009, Springer, 978-3-642-01972-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conjugated chromophores, two-photon absorption, time-dependent density functional theory, coupled electronic oscillators, sum over states, Tamm-Dancoff approximation, structure-activity relationship |
17 | Karim El-Laithy, Martin Bogdan |
Synchrony State Generation in Artificial Neural Networks with Stochastic Synapses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I, pp. 181-190, 2009, Springer, 978-3-642-04273-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
stochastic synapses, neuronal states, Neural network, temporal synchronization |
17 | Hans Rott |
A New Psychologism in Logic? Reflections from the Point of View of Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(1), pp. 113-136, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
doxastic states, logic, Psychologism, belief revision, normativity, belief change |
17 | Yun Liang 0001, Tulika Mitra |
Static analysis for fast and accurate design space exploration of caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 103-108, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
probabilistic cache states, cache, design space exploration |
17 | Bruce A. Ralston, Joshua A. Streufert |
Efficient generation of area thematic maps in KML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2008, November 5-7, 2008, Irvine, California, USA, Proceedings, pp. 79, 2008, ACM, 978-1-60558-323-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
KMZ, United States census, SQL, mashups, Google maps, Google earth, TIGER, KML |
17 | Karina Gibert, Gustavo Rodríguez Silva |
Identification of More Characteristic Dynamic Patterns in a WWTP by ClBR×E. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings, pp. 372-380, 2008, Springer, 978-3-540-85919-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
wastewater, clustering, dynamics, rules, states |
17 | Viknashvaran Narayanasamy, Kok Wai Wong |
Mapping resources to state functions in massively multiplayer online games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Second International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2007, 19-21 September 2007, Perth, Western Australia, pp. 153-160, 2007, ACM, 978-1-59593-708-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
state transition functions, games, resources, MMOG, states |
17 | Kyootai Lee, Kailash Joshi, Ronan T. McIvor |
Understanding multicultural differences in online satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2007 ACM SIGMIS CPR Conference on Computer Personnel Research 2007, April 19-21, 2007, St. Louis, Missouri, USA, pp. 209-212, 2007, ACM, 978-1-59593-641-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
South Korea, United Kingdom, online consumer satisfaction model, internet, cultural differences, online shopping, United States, consumer satisfaction |
17 | DaeEun Kim |
A quantitative analysis of memory requirement and generalization performance for robotic tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 285-292, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
generalization behaviour, perceptual aliasing, evolutionary robotics, evolutionary multiobjective optimization, internal states |
17 | Aurélien Naldi, Denis Thieffry, Claudine Chaouiya |
Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings, pp. 233-247, 2007, Springer, 978-3-540-75139-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
regulatory circuits, stable states, decision diagrams, logical modelling, Regulatory networks |
17 | Uwe Meixner |
Causation in a New Old Key. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(3), pp. 343-383, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
event-causation, agent-causation, states od affaires, causal priority, causal necessity, causal predicate, causal sentence connective, logic of causation, temporal modal logic, events |
17 | Mohamed Mosbah 0001, Rodrigue Ossamy |
Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: 5th Mexican International Conference on Computer Science (ENC 2004), 20-24 September 2004, Colima, Mexico, pp. 35-42, 2004, IEEE Computer Society, 0-7695-2160-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection |
17 | Carlos Rubén de la Mora-Basáñez, Carlos Gershenson, Angelica Garcia-Vega |
Representation Development and Behavior Modifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 504-513, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
representation development, behavior modifiers, biological motivations, Closure, affective states |
17 | Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay |
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(2), pp. 405-422, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion |
17 | Eerke A. Boiten |
Loose Specification and Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 226-241, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model containment, states-and-operations, loose specification, semantics, refinement, Z |
17 | Gunnar Johannsen |
Auditory Displays in Human-Machine Interfaces of Mobile Robots for Non-Speech Communication with Humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 32(2), pp. 161-169, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
robot-movement sounds, sound communication of states and intentions, directional sounds, robot sound tracks, simulated robot environment, mobile service robots, multimedia process control, auditory displays, human-machine interfaces, auditory perception |
17 | Jinhai Cai, Zhi-Qiang Liu |
Integration of Structural and Statistical Information for Unconstrained Handwritten Numeral Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 21(3), pp. 263-270, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
hybrid classifiers, outer contours, chain code-based features, macro-states, hidden Markov model, structural model, Handwritten numeral recognition |
17 | Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee |
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(4), pp. 600-625, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
binary decision, encoding density, multi-phase FSM, product machine, sequential hardware equivalence, diagram, steady states |
17 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(5), pp. 917-979, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs |
17 | Péter Gács |
Reliable Cellular Automata with Self-Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 90-99, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
noisy cellular automaton, fault-tolerant cellular automaton, probabilistic cellular automata, interacting particle system, Gibbs states, fault tolerance, reliability, cellular automata, cellular automata, self-organization, self organization, error-correction, ergodicity, renormalization |
17 | Tsuneo Yamaura |
Can a software project be like Einstein?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 675-676, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
programmer collaboration, software development, organizations, software development management, software project, software quality assurance, Japan, United States |
17 | J. Jenny Li, Hong Liu, Rudolph E. Seviora |
Constructing automated protocol testing oracles to accommodate specification nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 532-, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction |
17 | Rosa Di Felice, Maria Laura Mantovani, Carlo Maria Bertoni |
Ab-initio Molecular Dynamics Calculations: A Parallel Implementation of the Car-Parrinello Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 109-114, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
ab initio calculations, ab-initio molecular dynamics calculations, parallel Car-Parrinello method, first principles molecular dynamics simulations, CRAY-T3D computer, Single Program Multiple Data level, electronic wavefunctions, condensed matter system, plane-wave basis, electronic states, parallel algorithms, fast Fourier transforms, fast Fourier transforms, Parallel Virtual Machine, physics computing, wave functions, molecular dynamics method |
17 | Catherine Meadows 0001 |
Language generation and verification in the NRL protocol analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland, pp. 48-61, 1996, IEEE Computer Society, 0-8186-7522-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
language verification, NRL protocol analyzer, infinite classes of states, cryptography, formal verification, cryptographic protocols, formal languages, formal languages, access protocols, security properties, exhaustive search, language generation |
17 | Poh Yee Wong |
A Team-Based Process Improvement Initiative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 437-, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
team-based process improvement initiative, Information Technology Institute, research and development environment, IS0 9000, team participation, software quality, software quality, project management, project management, software development management, human resource management, organisation, personnel, United States, research initiatives, quality management system |
17 | H. Fatih Ugurdag, Thomas E. Fuhrman |
Autocircuit: a clock edge general behavioral synthesis system with a direct path to physical datapath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 514-529, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Autocircuit, clock edge general behavioral synthesis system, physical datapaths, next-generation synthesis tool, behavioral HDL input descriptions, data-flow representations, use-trees, raw-states, word-oriented synthesis, unique parameterized netlist representation, high level synthesis, high-level design |
17 | Hsing-Chung Liang, Chung-Len Lee 0001, Jwu E. Chen |
Identifying Untestable Faults in Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 12(3), pp. 14-23, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
initializable, invalid states, controllability, test generation, untestable faults |
17 | Noboru Takagi, Hiroaki Kikuchi, Kyoichi Nakashima, Masao Mukaidono |
A Characterization of Kleenean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 236-241, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Kleenean functions, fuzzy logic functions, constants, indeterminate truth value condition handling, ambiguous states, fuzzy logic, functions, fuzzy set theory, multivalued logic |
17 | Takao Waho |
Resonant Tunneling Transistor and Its Application to Multiple-Valued Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 130-139, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
resonant tunnelling transistors, resonant tunneling transistors, multiple-valued logic circuits, multiple stable states, coupled-quantum-well, monostable-multistable logic circuits, multivalued logic circuits, resonant tunneling diodes, circuit stability |
17 | Dorothy E. Leidner, Sven A. Carlsson, Joyce J. Elam |
A cross-cultural study of executive information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 91-100, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
research questions, perceived impact, US executives, problem identification speed, decision making speed, Swedish executives, analytic decision process, decision making behaviors, IT, cultural differences, EIS, management information systems, United States, government policies, professional aspects, Sweden, executive information systems, cross-cultural study |
17 | Gilbert Deléage, Christophe Geourjon |
Intensive sequence comparisons to predict protein secondary structures. Integration into a software package: ANTHEPROT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 292-301, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
intensive sequence comparisons, ANTHEPROT, structural class assignment, self-optimised prediction method, SOPM, protein chains, 3-states description, secondary structure content, database, database management systems, biology computing, proteins, software packages, software package, correlation coefficients, secondary structure, chemistry computing, protein secondary structure prediction, amino acids |
17 | Meral Binbasioglu, Tung Bui 0001, Pai-Chun Ma |
An action-resource language for argumentation: the case of softwood lumber negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 262-269, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
wood processing, action-resource language, softwood lumber negotiation, group problem, action resource model, negotiation problems, negotiation processes, action resource argumentation language, groupware, decision support systems, negotiation, argumentation, group decision support systems, negotiation support systems, United States, resource allocation problem, Canada |
17 | Sargur N. Srihari, Yong-Chul Shin, Vemulapati Ramanaprasad, Dar-Shyang Lee |
Name and Address Block Reader system for tax form processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 5-10, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
tax preparation, Name and Address Block Reader system, tax form processing, automated forms processing, integrated real time system, Internal Revenue Service, NABR system, hand printed address block images, machine printed addresses, address block extraction, label detection, hand print/machine print discrimination, address parsing, postal database lookup, loosely coupled multiprocessing architecture, real-time systems, feature extraction, character recognition, character recognition, multiprocessing systems, handwriting recognition, document image processing, document analysis, word recognition, government data processing, financial data processing, application software, document recognition, United States, connected component analysis |
17 | Fumitaka Kimura, Yasuji Miyake, Malayappan Shridhar |
Handwritten ZIP code recognition using lexicon free word recognition algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 906-910, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
handwritten ZIP code recognition, lexicon free word recognition algorithm, word recognition algorithm, end to end ZIP code recognition system, tilt correction, ZIP code location, address block image samples, United States mail pieces, isolated numeral recognition, manually extracted ZIP code recognition, document image processing, line segmentation, word segmentation, slant correction, numeral string recognition |
17 | Anish Arora, Mohamed G. Gouda |
Closure and Convergence: A Foundation of Fault-Tolerant Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(11), pp. 1015-1027, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
legal states, verification, formal verification, fault-tolerant computing, fault tolerant computing, convergence, closure |
17 | A. C. Cem Say, Selahattin Kuru |
Improved Filtering for the QSIM Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(9), pp. 967-971, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
spurious predictions, qualitative simulation algorithm, interval corresponding values, inconsistent states, simulation, filtering, time complexities, inference mechanisms, filtering and prediction theory, space complexities, QSIM |
17 | Zhijun Tong, Richard Y. Kain, W. T. Tsai |
Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(2), pp. 246-251, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
loosely synchronized clocks, state-save synchronizationmessages, interprocess communication protocol, state-save progressinformation, message frames, consistent system states, rollback recovery algorithm, distributed systems, protocols, distributed processing, encodes, programming theory, clock drifts |
17 | 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 |
17 | Richard A. DeMillo, Richard J. Lipton |
Defining Software by Continuous, Smooth Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(4), pp. 383-384, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
discrete state transition function, continuous smooth function, legal states, classical analysis, software engineering, software engineering, computational complexity, complexity, virtual machine, software system |
17 | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(11), pp. 1204-1222, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states |
16 | Lawrence J. Smolinsky, Seungwon Yang |
Validity and bias of indicators of international collaboration: A theoretical analysis with an empirical study of Ukraine-Russia-United States and China-United States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Informetrics ![In: J. Informetrics 18(1), pp. 101488, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Khazaei, Khadijeh Raeisi, Sampsa Vanhatalo, Filippo Zappasodi, Silvia Comani, Anton Tokariev |
Neonatal cortical activity organizes into transient network states that are affected by vigilance states and brain injury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 279, pp. 120342, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 29204 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|