|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 968 occurrences of 735 keywords
|
|
|
Results
Found 1557 publication records. Showing 1557 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
70 | Ghim-Eng Yap, Ah-Hwee Tan, HweeHwa Pang |
Explaining inferences in Bayesian networks. |
Appl. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Error values, Bayesian networks, Inferences, Explanations, Compensations, Missing values |
60 | Debashish Niyogi, Sargur N. Srihari |
Knowledge-based derivation of document logical structure. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
document logical structure, spatial domain knowledge, document logical structure derivation, rule-based control strategy, multi-level knowledge base, document layout rules, DeLoS, block classification, read-ordering operations, document image data, incremental inferences, knowledge based systems, knowledge-based, grouping, inferences, document image processing, inference mechanisms, document image, document layout, symbolic description |
59 | Tzong-An Su, Gultekin Özsoyoglu |
Controlling FD and MVD Inferences in Multilevel Relational Database Systems. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
FD inferences, attribute classification, MVD inferences, multilevel relational database, record classification, FD-compromises, minimum information loss, MVD-compromises, conflict-free MVDs, computational complexity, relational databases, database theory, inference mechanisms, functional dependencies, NP-complete problem, exact algorithm, necessary and sufficient conditions, multivalued dependencies |
57 | Koji Hasebe, Mitsuhiro Okada |
A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
56 | Yingxu Wang |
Fuzzy inferences methodologies for cognitive informatics and computational intelligence. |
IEEE ICCI |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Antonio M. Campos, Daniel F. García |
A Dynamic Scheduling Algorithm for Real-Time Expert Systems. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Ashwin Ram 0001, Lawrence Hunter |
The use of explicit goals for knowledge to guide inference and learning. |
Appl. Intell. |
1992 |
DBLP DOI BibTeX RDF |
Knowledge goals, diagnostic problem solving, learning, inference, natural language understanding |
48 | JiaDong Zhang, Kun Yue, Weiyi Liu |
Learning and Inferences of the Bayesian Network with Maximum Likelihood Parameters. |
ADMA |
2008 |
DBLP DOI BibTeX RDF |
Maximum likelihood hypothesis, Sigmoid, Support vector machine, Bayesian network, Inference |
48 | Falk Huettmann, Julia Linke |
Assessment of Different Link Functions for Modeling Binary Data to Derive Sound Inferences and Predictions. |
ICCSA (3) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Carola Eschenbach |
A Predication Calculus for Qualitative Spatial Representations. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
Topology, Inferences, Axiomatics, Qualitative Spatial Reasoning, Spatial Structure, Predication Calculus, Mereology |
41 | Richard Chow, Philippe Golle, Jessica Staddon |
Detecting privacy leaks using corpus-based association rules. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
inference detection, search engine, web mining, association rule mining, inference control |
40 | Maria Vasardani, Max J. Egenhofer |
Single-Holed Regions: Their Relations and Inferences. |
GIScience |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Yingxu Wang |
The cognitive processes of abstraction and formal inferences. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Manos Papagelis, Dimitris Plexousakis, Themistoklis Kutsuras |
Alleviating the Sparsity Problem of Collaborative Filtering Using Trust Inferences. |
iTrust |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Sebastian Brandt 0001, Anni-Yasmin Turhan, Ralf Küsters |
Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Jianping Fan 0001, Hangzai Luo, Mohand-Said Hacid, Elisa Bertino |
A novel approach for privacy-preserving video sharing. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
privacy-preserving video sharing, video content privacy, statistical inferences, unlabeled samples |
38 | Lars Kulik, Alexander Klippel |
Reasoning about Cardinal Directions Using Grids as Qualitative Geographic Coordinates. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
Map Projections, Inferences, Geometry, Axiomatics, Qualitative Spatial Reasoning, Geography, Spatial Structure |
33 | Galileo Mark S. Namata Jr., Lise Getoor |
Identifying graphs from noisy and incomplete data. |
KDD Workshop on Knowledge Discovery from Uncertain Data |
2009 |
DBLP DOI BibTeX RDF |
data mining, classification, social networks, entity resolution, link prediction, statistical relational learning |
33 | Ke Wang 0001, Benjamin C. M. Fung, Philip S. Yu |
Handicapping attacker's confidence: an alternative to k -anonymization. |
Knowl. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Sensitive inference, Data mining, Classification, Data sharing, Privacy protection, k-anonymity |
33 | Cameron Brien, Sharad Malik |
Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
33 | John Moses, Malcolm Farrow |
Assessing Variation in Development Effort Consistency Using a Data Source with Missing Data. |
Softw. Qual. J. |
2005 |
DBLP DOI BibTeX RDF |
MCAR, Development Type, Language Type, deviance statistic, negative log likelihood statistic, RSQ Adjusted, Bayesian inference, Function Points, MAR, linear regression models |
33 | Tyrone S. Toland, Csilla Farkas, Caroline M. Eastman |
Dynamic Disclosure Monitor (D2Mon): An Improved Query Processing Solution. |
Secure Data Management |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Stefan Brüning, Torsten Schaub |
Avoiding Non-ground Variables. |
ESCQARU |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Stephen M. Casner |
Task-Analytic Approach to the Automated Design of Graphic Presentations. |
ACM Trans. Graph. |
1991 |
DBLP DOI BibTeX RDF |
graphic user interface, visual languages, task analysis, graphic design, automated design |
33 | Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla |
The Concept of Demodulation in Theorem Proving. |
J. ACM |
1967 |
DBLP DOI BibTeX RDF |
|
32 | Sarah George, Ingrid Zukerman, Michael Niemann |
Inferences, suppositions and explanatory extensions in argument interpretation. |
User Model. User Adapt. Interact. |
2007 |
DBLP DOI BibTeX RDF |
Discourse interpretation, Suppositions, Explanatory extensions, Bayesian networks, Probabilistic approach |
32 | Tomoko Matsui |
Experimental Pragmatics: Towards Testing Relevance-Based Predictions about Anaphoric Bridging Inferences. |
CONTEXT |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Helmut Horacek |
A Model for Adapting Explanations to the User's Likely Inferences. |
User Model. User Adapt. Interact. |
1997 |
DBLP DOI BibTeX RDF |
stereotype user model, inference, explanation, natural language generation |
31 | Nadia Bebeshina, Mathieu Lafourcade |
Réduire l'effort humain d'amélioration des ressources lexicales grâce aux inférences (Reducing the Knowledge Resource Enhancement Human Effort through Inferences). |
JEP-TALN-RECITAL (2) |
2020 |
DBLP BibTeX RDF |
|
31 | Cory Derringer, Benjamin M. Rottman |
Comparing Mediation Inferences and Explaining Away Inferences on Three Variable Causal Structures. |
CogSci |
2018 |
DBLP BibTeX RDF |
|
31 | Marvin Faix |
Conception de machines probabilistes dédiées aux inférences bayésiennes. (Design of stochastic machines dedicated to Bayesian inferences). |
|
2016 |
RDF |
|
31 | Manel Zarrouk, Mathieu Lafourcade, Alain Joubert |
Inductive and deductive inferences in a Crowdsourced Lexical-Semantic Network (Inférences déductives et réconciliation dans un réseau lexico-sémantique) [in French]. |
TALN (1) |
2013 |
DBLP BibTeX RDF |
|
31 | Hedwig Anna Theresia Broers, Jaap Ham, Ron Broeders, P. Ravindra De Silva, Michio Okada |
Goal inferences about robot behavior: goal inferences and human response behaviors. |
HRI |
2013 |
DBLP BibTeX RDF |
|
31 | Ka-Fat Chow |
Generalizing Monotonicity Inferences to Opposition Inferences. |
Amsterdam Colloquium on Logic, Language and Meaning |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Masaharu Mizumoto, Satoru Fukami, Kokichi Tanaka |
Fuzzy Conditional Inferences and Fuzzy Inferences with Fuzzy Quantifiers. |
IJCAI |
1979 |
DBLP BibTeX RDF |
|
30 | V. Srinivasan Rao |
The implementation of satellite offices: initial recommendations based on observations from one site. |
HICSS (4) |
1995 |
DBLP DOI BibTeX RDF |
satellite offices implementation, initial recommendations, job redesign, cost-benefit relationships, inferences, inference mechanisms, video conferencing, change management, teleconferencing, office automation, teleworking, social aspects of automation, interactional patterns, information gathering, communication technologies, coordination systems |
30 | Joobin Choobineh, Anil Kini |
SQLSAM: SQL for statistical analysis and modeling. |
HICSS (3) |
1995 |
DBLP DOI BibTeX RDF |
SQLSAM, graphic visualization, standard database language, discrete probability distributions, continuous probability distributions, inferential statistics, organization databases, business decision making, SQL, probability, decision support systems, statistical analysis, statistical analysis, query languages, statistics, inferences, statistical modeling, data visualisation, business data processing, regression analysis, business, statistical databases |
30 | Giuseppe Ascia, Vincenzo Catania |
Design of a VLSI parallel processor for fuzzy computing. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
VLSI parallel processor, fuzzy computing, /spl alpha/-level sets theory, memory resources, processing units, 50 MHz, scalability, VLSI, parallelism, fuzzy logic, parallel architectures, inference mechanisms, fuzzy set theory, integrated circuit design, microprocessor chips, membership functions, fuzzy inferences, clock frequency, 8 bit |
30 | Giuseppe Ascia, Giuseppe Ficili, Daniela Panno |
Design of a VLSI fuzzy processor for ATM traffic sources management. |
LCN |
1995 |
DBLP DOI BibTeX RDF |
VLSI fuzzy processor, ATM traffic sources management, traffic arrival, policing mechanism, fuzzy logic, Fuzzy Logic, asynchronous transfer mode, ATM networks, inference mechanisms, traffic control, fuzzy inferences, telecommunication congestion control, bottleneck, policing |
30 | Daryl McCullough |
A Hookup Theorem for Multilevel Security. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information |
25 | David C. Wheeler, Catherine A. Calder |
An assessment of coefficient accuracy in linear regression models with spatially varying coefficients. |
J. Geogr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Bayesian regression, Geographically weighted regression, Collinearity, MCMC, Simulation study, Spatial statistics |
25 | Lo Ping Wei, Ellen Yi-Luen Do, Charles M. Eastman |
On context of content: a comparative methodology review of how HCI and mass communication analyze blogs and social media. |
CHI Extended Abstracts |
2007 |
DBLP DOI BibTeX RDF |
mass communication, social behavior/interaction, social media/computing, weblogs (blogs), human-computer interaction (HCI), computer-mediated communication, psychology, content analysis |
25 | Max J. Egenhofer, Maria Vasardani |
Spatial Reasoning with a Hole. |
COSIT |
2007 |
DBLP DOI BibTeX RDF |
|
25 | David J. Russomanno |
A plausible inference prototype for the Semantic Web. |
J. Intell. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Plausible inference, Composition of relations, Semantic web, RDF |
25 | Maurizio Borsotto, Weihong Zhang, Emir Kapanci, Avi Pfeffer, Christopher Crick |
A Junction Tree Propagation Algorithm for Bayesian Networks with Second-Order Uncertainties. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Ke Wang 0001, Benjamin C. M. Fung, Philip S. Yu |
Template-Based Privacy Preservation in Classification Problems. |
ICDM |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Huma Lodhi, Stephen H. Muggleton |
Computing Confidence Measures in Stochastic Logic Programs. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Sylvia C. Pont, Jan J. Koenderink |
Irradiation Orientation from Obliquely Viewed Texture. |
DSSCV |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Susan Bell Trickett, J. Gregory Trafton |
Spatial Transformations in Graph Comprehension. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Lingyu Wang 0001, Sushil Jajodia, Duminda Wijesekera |
Securing OLAP Data Cubes Against Privacy Breaches. |
S&P |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Yasunori Morishima |
Effects of Discourse Context on Inference Computation During Comprehension. |
CONTEXT |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Ludger van Elst, Franz Schmalhofer |
Die Persistenz von Inferenzen in einem verstehensbasierten kognitiven Modell. |
Kognitionswissenschaft |
1997 |
DBLP DOI BibTeX RDF |
|
25 | John N. Hooker |
Logical Inference and Polyhedral Projection. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
25 | John C. McInturff |
Expressing Qualified Logic in APL. |
APL |
1989 |
DBLP DOI BibTeX RDF |
APL |
24 | Atish Das Sarma, Sreenivas Gollapudi, Samuel Ieong |
Bypass rates: reducing query abandonment using negative inferences. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
bypass rates, query abandonment, random walk, similarity search, relevance |
24 | Fabien Gandon, Olivier Corby, Alain Giboin, Nicolas Gronnier, Cecile Guigard |
Graph-Based Inferences in a Semantic Web Server for the Cartography of Competencies in a Telecom Valley. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Kirsten R. Butcher, Walter Kintsch |
Learning with Diagrams: Effects on Inferences and the Integration of Information. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Anni-Yasmin Turhan, Christian Kissig |
Sonic - Non-standard Inferences Go OilEd. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jayant Sharma, Douglas M. Flewelling |
Inferences from Combined Knowledge about Topology and Directions. |
SSD |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Christoph Walther |
Many-Sorted Inferences in Automated Theorem Proving. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Jack Minker |
Performing Inferences over Relation Data Bases. |
SIGMOD Conference |
1975 |
DBLP DOI BibTeX RDF |
|
22 | Chandan Raj Rupakheti, Daqing Hou |
Satisfying Programmers' Information Needs in API-Based Programming. |
ICPC |
2011 |
DBLP DOI BibTeX RDF |
API-based programming, inter-procedural analysis, rule-based inferences, abstract interpretation |
22 | Maria Paola Bonacina |
On theorem proving for program checking: historical perspective and recent developments. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
combination of theories, rewrite-based theorem proving, speculative inferences, satisfiability modulo theories |
22 | Petra B. Schumacher |
Definiteness Marking Shows Late Effects during Discourse Processing: Evidence from ERPs. |
DAARC |
2009 |
DBLP DOI BibTeX RDF |
Referential processing, Event-related brain potentials, Inferences, Definiteness |
22 | Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli |
Finding informative commonalities in concept collections. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
informative common subsumers, non-standard inferences, description logics |
22 | Anas Abou El Kalam, Yves Deswarte, Gilles Trouessin, Emmanuel Cordonnier |
A generic approach for healthcare data anonymization. |
WPES |
2004 |
DBLP DOI BibTeX RDF |
inferences in databases, privacy, anonymization, smartcards |
22 | Susana Pajares Tosca |
A pragmatics of links. |
Hypertext |
2000 |
DBLP DOI BibTeX RDF |
movement of meaning, context, hypertext, inferences, link, linguistics, pragmatics |
22 | Samuel W. K. Chan, Benjamin Ka-Yin T'sou |
Semantic Inference for Anaphora Resolution: Toward a Framework in Machine Translation. |
Mach. Transl. |
1999 |
DBLP DOI BibTeX RDF |
semantic inferences, machine translation, anaphora resolution, computational framework |
22 | Andrew J. Werth, Brad A. Myers |
Tourmaline (abstract): macrostyles by example. |
INTERCHI |
1993 |
DBLP DOI BibTeX RDF |
macrostyles, text formatting, heuristics, inferences, programming by example, Microsoft Word, demonstrational interfaces |
22 | Seth Abraham, Krishnan Padmanabhan |
Performance of the Direct Binary n-Cube Network for Multiprocessors. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
direct binary n-cube network, equiprobable distribution, message destinations, simulations, performance evaluation, broadcasts, multiprocessors, multiprocessor interconnection networks, packet switching, performance prediction, inferences, mathematical model, hot spots, crossbar |
22 | Aravind K. Joshi, Ralph M. Weischedel |
Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
Artificial intelligence, semantics, inferences, computational linguistics, syntax, linguistics, natural language understanding, entailments, presuppositions |
16 | Caroline Ziemkiewicz, Robert Kosara |
Implied dynamics in information visualization. |
AVI |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Wen Ming Liu, Lingyu Wang 0001, Lei Zhang 0004 |
k-jump strategy for preserving privacy in micro-data disclosure. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Michael Abraham, Dov M. Gabbay, Uri J. Schild |
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Matrix Abduction, Talmudic logic, Argumentum A Fortiori, Qal-Vachomer, argumentation |
16 | Giovanni Sartor |
Legal concepts as inferential nodes and ontological categories. |
Artif. Intell. Law |
2009 |
DBLP DOI BibTeX RDF |
Legal concepts, Ontology, Inference |
16 | Vládia Pinheiro, Tarcisio H. C. Pequeno, Vasco Furtado, Douglas Nogueira |
Information Extraction from Text Based on Semantic Inferentialism. |
FQAS |
2009 |
DBLP DOI BibTeX RDF |
Textual Inference, Information Extraction, Semantic Analysis |
16 | Jesse Weaver, James A. Hendler |
Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Kun Yue, Mu-Jin Wei, Kai-Lin Tian, Wei-Yi Liu |
Representing and Inferring Causalities among Classes of Multidimensional Data. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
Multidimensional random variable, Classification, Bayesian network, Class, Approximate inference |
16 | Bilge Mutlu, Fumitaka Yamaoka, Takayuki Kanda 0001, Hiroshi Ishiguro, Norihiro Hagita |
Nonverbal leakage in robots: communication of intentions through seemingly unintentional behavior. |
HRI |
2009 |
DBLP DOI BibTeX RDF |
geminoid, humanlikeness, nonverbal leakage, robovie, gaze, nonverbal behavior |
16 | Srikanth Kandula, Ratul Mahajan |
Sampling biases in network path measurements and what to do about it. |
Internet Measurement Conference |
2009 |
DBLP DOI BibTeX RDF |
coordinate embedding, path decomposition, sampling bias, network measurement |
16 | Ying Jin 0003, T. M. Murali 0001, Naren Ramakrishnan |
Compositional mining of multirelational biological datasets. |
ACM Trans. Knowl. Discov. Data |
2008 |
DBLP DOI BibTeX RDF |
compositional data mining, redescription mining, bioinformatics, inductive logic programming, Biclustering |
16 | Donald Chinn, Tammy VanDeGrift |
Uncovering student values for hiring in the software industry. |
ACM J. Educ. Resour. Comput. |
2008 |
DBLP DOI BibTeX RDF |
hiring criteria, diversity, Ethics |
16 | Kaska Porayska-Pomsta, Manolis Mavrikis, Helen Pain |
Diagnosing and acting on student affect: the tutor's perspective. |
User Model. User Adapt. Interact. |
2008 |
DBLP DOI BibTeX RDF |
Tutor feedback, Empirically based hypotheses generation, Computer based tutoring, Machine learning, Computer mediated communication, Affect, Situation modelling |
16 | Arthur P. Dempster |
A Generalization of Bayesian Inference. |
Classic Works of the Dempster-Shafer Theory of Belief Functions |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Shafik Huq, Andreas F. Koschan, Besma R. Abidi, Mongi A. Abidi |
Efficient BP stereo with automatic paramemeter estimation. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Pelin Angin, Jennifer Neville |
A Shrinkage Approach for Modeling Non-stationary Relational Autocorrelation. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andrew S. Fast, David D. Jensen |
Why Stacked Models Perform Effective Collective Classification. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ido Dagan, Roy Bar-Haim, Idan Szpektor, Iddo Greental, Eyal Shnarch |
Natural Language as the Basis for Meaning Representation and Inference. |
CICLing |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Hameedullah Kazi, Peter Haddawy, Siriwan Suebnukarn |
Expanding the Plausible Solution Space for Robustness in an Intelligent Tutoring System. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
medical problem-based learning, knowledge acquisition bottleneck, Robustness, intelligent tutoring systems, UMLS |
16 | Kurt VanLehn |
The Interaction Plateau: Answer-Based Tutoring < Step-Based Tutoring = Natural Tutoring. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sreekanth Malladi, Gurdeep S. Hura 0001 |
What is the best way to prove a cryptographic protocol correct? |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Maria Paola Bonacina, Nachum Dershowitz |
Canonical Inference for Implicational Systems. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre |
Time and Defeasibility in FIPA ACL Semantics. |
Web Intelligence/IAT Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yong Li, Weiyi Liu |
Deduction from Conditional Knowledge on Bayesian Networks with Interval Probability Parameters. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Azevedo |
Cardinal: A Finite Sets Constraint Solver. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP |
16 | Barbara Morawska 0001 |
General E -unification with Eager Variable Elimination and a Nice Cycle Rule. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
E-unification, Variable elimination, Cycle rule |
16 | Diane Lambert, Daryl Pregibon |
More bang for their bucks: assessing new features for online advertisers. |
SIGKDD Explor. |
2007 |
DBLP DOI BibTeX RDF |
biased sampling, statistical inference, causal modeling, propensity scores |
16 | Simon J. D. Prince, Jania Aghajanian, Umar Mohammed, Maneesh Sahani |
Latent Identity Variables: Biometric Matching Without Explicit Identity Estimation. |
ICB |
2007 |
DBLP DOI BibTeX RDF |
Face Recognition, Biometrics, Bayesian Methods |
16 | Mark S. Young, Neville A. Stanton, Guy H. Walker, Daniel P. Jenkins, Paul M. Salmon |
Mental Workload in Command and Control Teams: Musings on the Outputs of EAST and WESTT. |
HCI (13) |
2007 |
DBLP DOI BibTeX RDF |
teamwork, network analysis, command and control, mental workload |
16 | Jennifer Neville, David D. Jensen |
Bias/Variance Analysis for Relational Domains. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1557 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|