|
|
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 |
48 | Hsing-Chung Liang, Chung-Len Lee 0001, Jwu E. Chen |
Invalid State Identification for Sequential Circuit Test Generation. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
invalid states, test generation, sequential circuits |
48 | Krishna B. Rajan, David E. Long, Miron Abramovici |
Increasing testability by clock transformation (getting rid of those darn states). |
VTS |
1996 |
DBLP DOI BibTeX RDF |
clock transformation, sequential test generation, darn states, easy-to-reach states, logic testing, partitioning, design for testability, sequential circuits, DFT, fault coverage, testability, flip-flops, flip-flops, clocks, logic partitioning |
45 | Susana Cubillo, Enric Trillas |
Characterizing non-monotonic fuzzy relations. |
Soft Comput. |
1997 |
DBLP DOI BibTeX RDF |
Monotonic and non-monotonic fuzzy and crisp Relations, Logical T-States, Logical Fuzzy States and Logical States |
42 | Hsing-Chung Liang, Chung-Len Lee 0001, Jwu E. Chen |
Identifying invalid states for sequential circuit test generation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler |
Utilizing don't care states in SAT-based bounded sequential problems. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
don't care states, unreachable states, satisfiability, bounded model checking, sequential equivalence checking |
42 | Andrea Bobbio, Kishor S. Trivedi |
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
stiff Markov chains, transient cumulative measures, stiff Markov models, fast-current states, fast-transient states, approximate value, cumulative measure, nonstiff set, slow states, time-dependent system behavior, fault tolerant computing, aggregation, Markov processes, queueing theory, queueing models, reliability models, stiffness, reliability theory, linear differential equations, linear differential equations |
42 | Gianfranco Ciardo, Raymond A. Marie, Bruno Sericola, Kishor S. Trivedi |
Performability Analysis Using Semi-Markov Reard Processes. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
vanishing states elimination, fast transient states elimination, semi-Markov reward processes, zero reward nonabsorbing states, probabilistic switch, stiff Markov chains, performance evaluation, performability analysis, Markov processes, decomposition, stochastic Petri net, reachability graph |
41 | Farman Ali Khan, Sabine Graf, Edgar R. Weippl, A Min Tjoa |
An approach for identifying affective states through behavioral patterns in web-based learning management systems. |
iiWAS |
2009 |
DBLP DOI BibTeX RDF |
adaptive learning systems, human computer interaction, confidence, independence, effort, confusion, affective states |
41 | Huaikou Miao, Xiaolei Gao, Ling Liu |
An Approach to Testing the Nonexistence of Initial State in Z Specifications. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
constructed function, constrained states space, states space, Z specifications |
38 | Irith Pomeranz, Sudhakar M. Reddy |
On the Use of Fully Specified Initial States for Testing of Synchronous Sequential Circuits. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
irredundant faults, built-in test generation, test generation, synchronous sequential circuits, Initial states |
35 | DaeEun Kim |
Analyzing Sensor States and Internal States in the Tartarus Problem with Tree State Machines. |
PPSN |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Milton Corrêa, Rosa Maria Vicari, Helder Coelho |
Dynamics in Transition Mental Activit. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
34 | John L. Gustafson |
Reevaluating Amdahl's Law. |
Commun. ACM |
1988 |
DBLP DOI BibTeX RDF |
|
34 | Hanquan Wang |
Numerical Simulations on Stationary States for Rotating Two-Component Bose-Einstein Condensates. |
J. Sci. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Gross-Pitaevskii equations, Rotating two-component BECs, Angular momentum rotation, Continuous normalized gradient flows, Stationary states |
34 | Marion G. Ceruti |
States of matter, information organization and dimensions of expressiveness. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
infodynamics, states of matter, database, knowledge base, expressiveness, model base |
34 | Jin Ma, Sheng Yu 0001 |
Practical Rules for Reduction on the Number of States of a State Diagram. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
UML, events, statecharts, finite automata, Object-oriented modeling, states, conditions, OMT |
34 | Eike Best, Ludmila Cherkasova, Jörg Desel |
Compositional Generation of Home States in Free Choice Systems. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
Free Choice Petri Nets, Home States, Cyclic Behaviour, Compositionality, Reversibility |
34 | Dang Van Hung, Ko Kwang Il |
Verification via Digitized Models of Real-Time Hybrid Systems. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock |
33 | United States Census Bureau |
US Annual Retail Trade Survey - 2014. |
|
2020 |
DOI RDF |
|
33 | Catarina Vales, Sarah States, Anna V. Fisher |
More like a bee, less like a spider, and not like a tomato: Ecologically-valid enrichment experiences promote changes in how young children differentiate biological categories. |
CogSci |
2018 |
DBLP BibTeX RDF |
|
33 | Sirarat Sarntivijai, Yu Lin, Zuoshuang Xiang, Terrence F. Meehan, Alexander D. Diehl, Uma D. Vempati, Stephan C. Schürer, Chao Pang, James Malone, Helen E. Parkinson, Yue Liu, Terue Takatsuki, Kaoru Saijo, Hiroshi Masuya, Yukio Nakamura, Matthew H. Brush, Melissa A. Haendel, Jie Zheng 0001, Christian J. Stoeckert Jr., Bjoern Peters, Christopher J. Mungall, Thomas E. Carey, David J. States, Brian D. Athey, Yongqun He |
CLO: The cell line ontology. |
J. Biomed. Semant. |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Maureen A. Sartor, Alexander S. Ade, Zach Wright, David J. States, Gilbert S. Omenn, Brian D. Athey, Alla Karnovsky |
Metab2MeSH: annotating compounds with medical subject headings. |
Bioinform. |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Gang Su, Allan Kuchinsky, John H. Morris, David J. States, Fan Meng |
GLay: community structure analysis of biological networks. |
Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Arvind Rao, David J. States, Alfred O. Hero III, James Douglas Engel |
Understanding Distal transcriptional Regulation from Sequence, Expression and interactome Perspectives. |
J. Bioinform. Comput. Biol. |
2010 |
DBLP DOI BibTeX RDF |
|
33 | V. Glenn Tarcea, Terry E. Weymouth, Alexander S. Ade, Aaron V. Bookvich, Jing Gao, Vasudeva Mahavisno, Zach Wright, Adriane Chapman, Magesh Jayapandian, Arzucan Özgür, Yuanyuan Tian, James D. Cavalcoli, Barbara Mirel, Jignesh M. Patel, Dragomir R. Radev, Brian D. Athey, David J. States, H. V. Jagadish |
Michigan molecular interactions r2: from interacting proteins to pathways. |
Nucleic Acids Res. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Jing Gao, Alexander S. Ade, V. Glenn Tarcea, Terry E. Weymouth, Barbara R. Mirel, H. V. Jagadish, David J. States |
Integrating and annotating the interactome using the MiMI plugin for cytoscape. |
Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Junguk Hur, Adam D. Schuyler, David J. States, Eva L. Feldman |
SciMiner: web-based literature mining tool for target identification and functional enrichment analysis. |
Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | David J. States, Alexander S. Ade, Zachary C. Wright, Aaron V. Bookvich, Brian D. Athey |
MiSearch adaptive pubMed search tool. |
Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Aaron Elkiss, Siwei Shen, Anthony Fader, Günes Erkan, David J. States, Dragomir R. Radev |
Blind men and elephants: What do citation summaries tell us about a research article? |
J. Assoc. Inf. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Maital Ashkenazi, Gary D. Bader, Allan Kuchinsky, Menachem Moshelion, David J. States |
Cytoscape ESP: simple search of complex biological networks. |
Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Sirarat Sarntivijai, Alexander S. Ade, Brian D. Athey, David J. States |
A bioinformatics analysis of the cell line nomenclature. |
Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Arvind Rao, Alfred O. Hero III, David J. States, James Douglas Engel |
Using Directed Information to Build Biologically Relevant Influence Networks. |
J. Bioinform. Comput. Biol. |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Magesh Jayapandian, Adriane Chapman, V. Glenn Tarcea, Cong Yu 0001, Aaron Elkiss, Angela Ianni, Bin Liu 0002, Arnab Nandi 0001, Carlos Santos, Philip C. Andrews, Brian D. Athey, David J. States, H. V. Jagadish |
Michigan Molecular Interactions (MiMI): putting the jigsaw puzzle together. |
Nucleic Acids Res. |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Yuanyuan Tian, Richard C. McEachin, Carlos Santos, David J. States, Jignesh M. Patel |
SAGA: a subgraph matching tool for biological graphs. |
Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Arvind Rao, Alfred O. Hero III, David J. States, James Douglas Engel |
Inferring Time-Varying Network Topologies from Gene Expression Data. |
EURASIP J. Bioinform. Syst. Biol. |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Arvind Rao, Alfred O. Hero III, David J. States, James Douglas Engel |
Motif Discovery in Tissue-Specific Regulatory Sequences Using Directed Information. |
EURASIP J. Bioinform. Syst. Biol. |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Yili Chen, Thomas W. Blackwell, Ji Chen, Jing Gao, Angel W. Lee, David J. States |
Integration of Genome and Chromatin Structure with Gene Expression Profiles To Predict c-MYC Recognition Site Binding and Function. |
PLoS Comput. Biol. |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Arvind Rao, Alfred O. Hero III, David J. States, James Douglas Engel |
Inference of Biologically Relevant Gene Influence Networks Using the Directed Information Criterion. |
ICASSP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Arvind Rao, Alfred O. Hero III, David J. States, James Douglas Engel |
Probabilistic data integration and visualization for understanding transcriptional regulation. |
EUSIPCO |
2006 |
DBLP BibTeX RDF |
|
33 | Carlos Santos, Daniela Eggle, David J. States |
Wnt pathway curation using automated natural language processing: combining statistical methods with partial and full parse for knowledge extraction. |
Bioinform. |
2005 |
DBLP DOI BibTeX RDF |
|
33 | H. V. Jagadish, David J. States, Burkhard Rost |
ISMB 2005. |
ISMB (Supplement of Bioinformatics) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | H. V. Jagadish, David J. States, Burkhard Rost |
ISMB 2005 Organization. |
ISMB (Supplement of Bioinformatics) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Rongxiang Liu, Thomas W. Blackwell, David J. States |
Conformational model for binding site recognition by the E.coli MetJ transcription factor. |
Bioinform. |
2001 |
DBLP DOI BibTeX RDF |
|
33 | David J. States |
Time to defend what we have won |
Bioinform. |
2001 |
DBLP DOI BibTeX RDF |
|
33 | David J. States, Volker Nowotny, Thomas W. Blackwell |
Probabilistic approaches to the use of higher order clone relationships in physical map assembly. |
ISMB (Supplement of Bioinformatics) |
2001 |
DBLP BibTeX RDF |
|
33 | Zhengyan Kan, Warren Gish, Eric C. Rouchka, Jarret Glasscock, David J. States |
UTR Reconstruction and Analysis Using Genomically Aligned EST Sequences. |
ISMB |
2000 |
DBLP BibTeX RDF |
|
33 | Thomas W. Blackwell, Eric C. Rouchka, David J. States |
Identity by Descent Genome Segmentation Based on Single Nucleotide Polymorphism Distributions. |
ISMB |
1999 |
DBLP BibTeX RDF |
|
33 | Pankaj Agarwal, David J. States |
Comparative accuracy of methods for protein sequence similarity search. |
Bioinform. |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Eric C. Rouchka, David J. States |
Sequence Assembly Validation by Multiple Restriction Digest Fragment Coverage Analysis. |
ISMB |
1998 |
DBLP BibTeX RDF |
|
33 | David G. Politte, David R. Maffitt, David J. States |
Estimation of allele frequencies from color-multiplexed electropherograms. |
RECOMB |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Rongxiang Liu, Thomas W. Blackwell, David J. States |
A structure based similarity measure for nucleic acid sequence comparison. |
RECOMB |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Pankaj Agarwal, David J. States |
A Bayesian Evolutionary Distance for Parametrically Aligned Sequences. |
J. Comput. Biol. |
1996 |
DBLP DOI BibTeX RDF |
|
33 | David J. States, Pankaj Agarwal, Terry Gaasterland, Lawrence Hunter, Randall Smith (eds.) |
Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology, St. Louis, MO, USA, June 12-15 1996 |
ISMB |
1996 |
DBLP BibTeX RDF |
|
33 | David J. States, Pankaj Agarwal |
Compact Encoding Strategies for DNA Sequence Similarity Search. |
ISMB |
1996 |
DBLP BibTeX RDF |
|
33 | David J. States, Warren Gish |
QGB: Combined Use of Sequence Similarity and Codon Bias for Coding Region Identification. |
J. Comput. Biol. |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Pankaj Agarwal, David J. States |
The Repeat Pattern Toolkit (RPT): Analyzing the Structure and Evolution of the C. elegans Genome. |
ISMB |
1994 |
DBLP BibTeX RDF |
|
33 | Toni Kazic, David J. States, Lloyd Allison |
Motifs in Biology: Analysis of Ambiguous Data: Introduction. |
HICSS (5) |
1994 |
DBLP BibTeX RDF |
|
33 | Jean-Michel Claverie, David J. States |
Information Enhancement Methods for Large Scale Sequence Analysis. |
Comput. Chem. |
1993 |
DBLP DOI BibTeX RDF |
|
33 | David J. States, Nomi L. Harris, Lawrence Hunter |
Computationally Efficient Cluster Representation in Molecular Sequence Megaclassification. |
ISMB |
1993 |
DBLP BibTeX RDF |
|
33 | Lawrence Hunter, David J. States |
Bayesian Classification of Protein Structure. |
IEEE Expert |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Nomi L. Harris, Lawrence Hunter, David J. States |
Mega-Classification: Discovering Motifs in Massive Datastreams. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
33 | Lawrence Hunter, Nomi L. Harris, David J. States |
Efficient Classification of Massive, Unsegmented Datastreams. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Rusins Freivalds |
Super-Exponential Size Advantage of Quantum Finite Automata with Mixed States. |
ISAAC |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Luca de Alfaro, Pritam Roy |
Solving Games Via Three-Valued Abstraction Refinement. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Yoshihiro Noguchi, Keiji Shimada, Mieko Ohsuga, Yoshiyuki Kamakura, Yumiko Inoue |
The Assessment of Driver's Arousal States from the Classification of Eye-Blink Patterns. |
HCI (17) |
2009 |
DBLP DOI BibTeX RDF |
arousal states, HMM, image, driver, blink, drowsiness, EOG |
31 | Zhaoxia Hu, Sol M. Shatz |
Explicit modeling of semantics associated with composite states in UML statecharts. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Composite states, State-transition notation, UML, Petri nets, Statecharts |
31 | Huawei Li 0001, Yinghua Min, Zhongcheng Li |
An RT-Level ATPG Based on Clustering of Circuit States. |
Asian Test Symposium |
2001 |
DBLP DOI BibTeX RDF |
cluster of states, automatic test pattern generation, register-transfer level, behavioral descriptions |
31 | David E. Long, Mahesh A. Iyer, Miron Abramovici |
FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults. |
ACM Trans. Design Autom. Electr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
illegal states, sequential circuits, automatic test generation, untestable faults |
31 | David E. Long, Mahesh A. Iyer, Miron Abramovici |
Identifying sequentially untestable faults using illegal states. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
sequentially untestable faults, illegal states, FILL algorithm, FUNI algorithm, functional partitioning procedure, incremental building, fault diagnosis, logic testing, test generator, integrated circuit testing, sequential circuits, automatic testing, binary decision diagrams, synchronous sequential circuit, logic partitioning, partial solution |
30 | Karol Horodecki, Michal Horodecki, Pawel Horodecki, Jonathan Oppenheim |
General Paradigm for Distilling Classical Key From Quantum States. |
IEEE Trans. Inf. Theory |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Adrien Richard, Jean-Paul Comet, Gilles Bernot |
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Motoyuki Suzuki, Shozo Makino |
Automatic Determination Algorithm for the Optimum Number of States in NL-HMnet. |
Discovery Science |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Shivam Tripathi, Rao S. Govindaraju |
On the identification of intra-seasonal changes in the Indian summer monsoon. |
KDD Workshop on Knowledge Discovery from Sensor Data |
2009 |
DBLP DOI BibTeX RDF |
Indian summer monsoon, active and break states, hidden markov models, variational bayes |
30 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
A logic programming approach to knowledge-state planning: Semantics and complexity. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets |
30 | Felice Balarin |
Approximate reachability analysis of timed automata. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
approximate reachability analysis, unsafe states, incorrect system, discrete state components, real-time systems, formal verification, Boolean functions, computation, timed automata, finite automata, finite state automata, timing information |
28 | Gamal Mohamed Abd Al-Kader, Abdel-Shafy F. Obada |
Analytic Representations Based on SU(1, 1) Lie Algebra Coherent States for Squeezed Displaced Fock States. |
Appl. Categorical Struct. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 81S30, 81Qxx, 81R30 |
28 | Gregory A. Frascadore |
Combining explanation based generalization with the learning of macro operators (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Kuang-Yuan Chen, Peter A. Lindsay |
Feedback of Delayed Rewards in XCS for Environments with Aliasing States. |
ACAL |
2009 |
DBLP DOI BibTeX RDF |
aliasing states problem, credit assignment, maze problems, Learning Classifier Systems, XCS |
28 | Maroun Bercachi, Philippe Collard, Manuel Clergue, Sébastien Vérel |
Do not choose representation just change: an experimental study in states based EA. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
states based evolutionary algorithm, optimization, performance, representation, coding coupling, coding conversion |
28 | Gyehwan Jin, SangBock Lee, Taesoo Lee |
Context Awareness of Human Motion States Using Accelerometer. |
J. Medical Syst. |
2008 |
DBLP DOI BibTeX RDF |
Motion states, Context awareness, Accelerometer, Fuzzy inference system |
28 | Sukanta Das, Biplab K. Sikdar |
Characterization of Non-reachable States in Irreversible CAState Space. |
ACRI |
2008 |
DBLP DOI BibTeX RDF |
Irreversible CA, non-reachable states, reachability tree, attractor |
28 | Shigeyoshi Iizuka, Yusuke Goto |
Effects of Space Design Visualization on Users' Subjective States. |
Smart Graphics |
2007 |
DBLP DOI BibTeX RDF |
Space Design, Subjective States, Visualization |
28 | Ekkart Kindler, Tobias Vesper |
ESTL: A Temporal Logic for Events and States. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
verification, Petri nets, specification, Temporal logic, events, system development, states |
28 | J. Daniel Douger, Akira Ishikawa |
Comparing motivation of Japanese computer personnel versus those of the United States. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
Japanese computer personnel, United States computer personnel, IS computer personnel, analysts, programmer/analysts, JDS-DP II, job diagnostic survey instrument, job variables, job components, satisfaction levels, growth needs, achievement needs, goal participation/feedback, middle management, information systems, human factors, managers, programming, perceptions, motivation, human resource management, DP management, social aspects of automation, personnel, DP industry, professional aspects, cultural factors, application programmers |
28 | Antonio Di Nola, Tommaso Flaminio |
Generating the Variety of SMV-Algebras. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
hyper real states, MV-algebras, internal states |
28 | Andrew Herdrich, Ramesh Illikkal, Ravi R. Iyer 0001, Donald Newell, Vineet Chadha, Jaideep Moses |
Rate-based QoS techniques for cache/memory in CMP platforms. |
ICS |
2009 |
DBLP DOI BibTeX RDF |
p-states, performance differentiation, t-states, cache, memory, rate control, qos, clock gating, frequency scaling, dvfs |
27 | Hiromu Miyashita, Ryo Segawa, Ken-ichi Okada |
Estimation of thinking states in cyberspace using multiple physiological parameters. |
VRST |
2009 |
DBLP DOI BibTeX RDF |
presence, psychology, feelings |
27 | Igor Grunsky, Oleksiy Kurganskyy, Igor Potapov |
On a Maximal NFA Without Mergible States. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Sean Hallgren, Cristopher Moore, Martin Rötteler, Alexander Russell, Pranab Sen |
Limitations of quantum coset states for graph isomorphism. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
hidden subgroup problem, graph isomorphism, quantum algorithms |
27 | Hari Krovi, Martin Rötteler |
An Efficient Quantum Algorithm for the Hidden Subgroup Problem over Weyl-Heisenberg Groups. |
MMICS |
2008 |
DBLP DOI BibTeX RDF |
hidden subgroup problem, coset states, quantum algorithms |
27 | Irith Pomeranz, Sudhakar M. Reddy |
Expanded Definition of Functional Operation Conditions and its Effects on the Computation of Functional Broadside Tests. |
VTS |
2008 |
DBLP DOI BibTeX RDF |
functional broadside tests, test generation, transition faults, reachable states, full-scan circuits |
27 | Timothy F. Havel, S. S. Somaroo, C.-H. Tseng, David G. Cory |
Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy. |
Appl. Algebra Eng. Commun. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Nuclear magnetic resonance, Pseudo-pure states, Product operator formalism, Quantum computation, Quantum error correcting codes |
25 | Simon Moncrieff, Svetha Venkatesh, Geoff A. W. West |
Online audio background determination for complex audio environments. |
ACM Trans. Multim. Comput. Commun. Appl. |
2007 |
DBLP DOI BibTeX RDF |
online background modelling, surveillance and monitoring, Audio analysis |
25 | Rusins Freivalds |
Hamming, Permutations and Automata. |
SAGA |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Kuderna-Iulian Benta, Anca Rarau, Marcel Cremene |
Ontology Based Affective Context Representation. |
EATIS |
2007 |
DBLP DOI BibTeX RDF |
ontology, context awareness, affective computing, logical inference |
25 | Terry Dartnall |
Why (A Kind of) AI Can't Be Done. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
Strong AI, Chinese Room Argument, cognition, content, psychologism, meaning |
25 | Joe Gwinn |
Some Measurements of Timeline Gaps in VAX/VMS. |
ACM SIGOPS Oper. Syst. Rev. |
1994 |
DBLP DOI BibTeX RDF |
VAX/VMS |
25 | Luis F. Luna-Reyes, Sehl Mellouli, J. Ramón Gil-García, Theresa A. Pardo, Jing Zhang 0006, Celene Navarrete |
Comparing digital government agendas in Canada, Mexico, and the United States. |
DG.O |
2010 |
DBLP BibTeX RDF |
comparative research, digital government, United States, North America, Canada, Mexico |
25 | Hidde de Jong, Michel Page |
Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
piecewise-linear differential equations, large-scale systems, steady states, Genetic regulatory networks, SAT problem |
25 | Wu Hao |
How political mechanism influences digital government: comparative case study of United States and China. |
ICEGOV |
2008 |
DBLP DOI BibTeX RDF |
United States of America, political mechanism, digital government, China, comparative study |
Displaying result #1 - #100 of 29204 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|