|
|
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 |
15 | Keith Price |
Review of "Natural Language Argumentation in Dialog Systems: AI Methods for the Reconstruction and Explanation of Approximate Inferences by Wolfgang Wahlster", ISBN 0-387-10873-4, New York, Heidelberg, Berlin: Springer 1981. |
SIGART Newsl. |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Madis Saluveer |
Adverbs And Semantic Inferences. |
COLING |
1982 |
DBLP BibTeX RDF |
|
15 | Ernest W. Adams |
Transmissible improbabilities and marginal essentialness of premises in inferences involving indicative conditionals. |
J. Philos. Log. |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Martin Davis |
Obvious Logical Inferences. |
IJCAI |
1981 |
DBLP BibTeX RDF |
|
15 | Joachim Biskup |
Inferences of Multivalued Dependencies in Fixed and Undetermined Universes. |
Theor. Comput. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Douglas Stott Parker Jr., Kamran Parsaye-Ghomi |
Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies. |
SIGMOD Conference |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Shamim A. Naqvi, Lawrence J. Henschen |
Performing Inferences over Recursive Data Bases. |
AAAI |
1980 |
DBLP BibTeX RDF |
|
15 | Roger C. Schank |
Interestingness: Controlling Inferences. |
Artif. Intell. |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Roger Chaffin |
Knowledge of Language and Knowledge about the World: A Reaction Time Study of Invited and Necessary Inferences. |
Cogn. Sci. |
1979 |
DBLP DOI BibTeX RDF |
|
15 | M. Trigoboff, Casimir A. Kulikowski |
IRIS: A System for the Propogation of Inferences in a Semantic Net. |
IJCAI |
1977 |
DBLP BibTeX RDF |
|
15 | Charles L. Hedrick |
Making Inferences in Natural Language Dialogs. |
IJCAI |
1977 |
DBLP BibTeX RDF |
|
15 | Robert F. Simmons, Daniel L. Chester |
Inferences in Quantified Semantic Networks. |
IJCAI |
1977 |
DBLP BibTeX RDF |
|
15 | John Robert Baker |
On two immediate inferences by limitation. |
Notre Dame J. Formal Log. |
1975 |
DBLP DOI BibTeX RDF |
|
15 | Howard Pospesel, Charles G. Werner |
Deductive inferences from particular to general. |
Notre Dame J. Formal Log. |
1974 |
DBLP DOI BibTeX RDF |
|
15 | Edward A. Hacker |
Number system for the immediate inferences and the syllogism in Aristotelian logic. |
Notre Dame J. Formal Log. |
1967 |
DBLP DOI BibTeX RDF |
|
15 | Gordon L. Brumm |
The method of possibility-diagrams for testing the validity of certain types of inferences, based on Jevons' logical alphabet. |
Notre Dame J. Formal Log. |
1962 |
DBLP DOI BibTeX RDF |
|
8 | Samuel Kaski |
Three Paths to Relevance. |
Brain-Inspired Information Technology |
2010 |
DBLP DOI BibTeX RDF |
|
8 | Mark Menor, Kyungim Baek, Mahdi Belcaid, Yannick Gingras, Guylaine Poisson |
Virus DNA-fragment classification using taxonomic hidden Markov model profiles. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
machine learning, annotation, viruses, metagenomics |
8 | Sasank Reddy, Katie Shilton, Gleb Denisov, Christian Cenizal, Deborah Estrin, Mani B. Srivastava |
Biketastic: sensing and mapping for better biking. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
map visualization, mobile sensing systems, location based services, participatory sensing |
8 | Bivas Mitra, Sujoy Ghose, Niloy Ganguly |
Brief announcement: superpeer formation amidst churn and rewiring. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
bootstrapping protocol, superpeer network, preferential attachment, degree distribution |
8 | Chen Yu 0001, Matthias Scheutz, Paul W. Schermerhorn |
Investigating multimodal real-time patterns of joint attention in an hri word learning task. |
HRI |
2010 |
DBLP DOI BibTeX RDF |
human-robot interaction, joint attention |
8 | Armin W. Schulz |
Condorcet and communitarianism: Boghossian's fallacious inference. |
Synth. |
2009 |
DBLP DOI BibTeX RDF |
Condorcet’s Jury Theorem, The rule-following considerations, Communitarianism, Dispositionalism |
8 | Wenji Mao, Jonathan Gratch |
Modeling social inference in virtual agents. |
AI Soc. |
2009 |
DBLP DOI BibTeX RDF |
|
8 | M. Saravanan 0001, Balaraman Ravindran, S. Raman 0001 |
Improving legal information retrieval using an ontological framework. |
Artif. Intell. Law |
2009 |
DBLP DOI BibTeX RDF |
Query enhancement, Information retrieval, Knowledge base, Legal ontology |
8 | Bahman Yari Saeed Khanloo, Daryanaz Dargahi, Nima Aghaeepour, Ali Masoudi-Nejad |
Support Vector Clustering: From Local Constraint to Global Stability. |
Foundations of Computational Intelligence (6) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Davide Grossi, Fernando R. Velázquez-Quesada |
Twelve Angry Men: A Study on the Fine-Grain of Announcements. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
interaction, awareness, inference, epistemic logic, deliberation, dynamic epistemic logic |
8 | Fernando R. Velázquez-Quesada |
Dynamic Logics for Explicit and Implicit Information. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Zhichun Li, Anup Goyal, Yan Chen 0004, Vern Paxson |
Automating analysis of large-scale botnet probing events. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
global property extrapolation, scan strategy inference, situational awareness, botnet, statistical inference, honeynet |
8 | Yingxu Wang |
Cognitive Computing and machinable thought. |
IEEE ICCI |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yingxu Wang |
Qualification and quantification of fuzzy linguistic variables and fuzzy expressions. |
IEEE ICCI |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Simon Timothy O'Callaghan, Fabio T. Ramos 0001, Hugh F. Durrant-Whyte |
Contextual occupancy maps using Gaussian processes. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Ravi Balasubramanian, Yoky Matsuoka |
The role of small redundant actuators in precise manipulation. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres |
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Hamed Chok, Le Gruenwald |
An online spatio-temporal association rule mining framework for analyzing and estimating sensor data. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
data estimation, knowledge discovery, sensor databases, spatio-temporal data mining |
8 | Giby Raphael, Chris Berka, Djordje Popovic, Gregory K. W. K. Chung, Sam O. Nagashima, Adrienne Behneman, Gene Davis, Robin Johnson |
Peak Performance Trainer (PPTTM): Interactive Neuro-educational Technology to Increase the Pace and Efficiency of Rifle Marksmanship Training. |
HCI (16) |
2009 |
DBLP DOI BibTeX RDF |
Haptics, EEG, Heart rate, Alpha, Theta |
8 | Yu Tong 0001, Yinqing Zhong |
Are We Trapped by Majority Influences in Electronic Word-of-Mouth? |
HCI (1) |
2009 |
DBLP DOI BibTeX RDF |
online feedback system, majority influence, system design, Word-of-mouth |
8 | Serge Boucher, Esteban Zimányi |
Leveraging OWL for GIS interoperability: rewards and pitfalls. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
semantic web, geographic information systems, interoperability |
8 | Jianxiong Ye, Enmin Feng, Lei Wang 0035, Zhilong Xiu, Yaqin Sun |
Modeling and Robustness Analysis of Biochemical Networks of Glycerol Metabolism by Klebsiella Pneumoniae. |
Complex (1) |
2009 |
DBLP DOI BibTeX RDF |
Metabolic network inference, Biological robustness, Transport across cell membrane, Parameter identification |
8 | Hannes Strass, Michael Thielscher |
On Defaults in Action Theories. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Gerhard Lakemeyer, Hector J. Levesque |
A Semantical Account of Progression in the Presence of Defaults. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Viktoria Pammer, Stefanie N. Lindstaedt |
Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies. |
KSEM |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Tzone I. Wang, Ti Kai Chiu, Liang Jun Huang, Ru Xuan Fu, Tung-Cheng Hsieh |
An English Vocabulary Learning System Based on Fuzzy Theory and Memory Cycle. |
ICWL |
2009 |
DBLP DOI BibTeX RDF |
Extensive Reading, English Learning, Memory Cycle, Personalized, e-learning, Fuzzy Theory |
8 | Marcela Capobianco, Guillermo Ricardo Simari |
A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data. |
SUM |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Sergio Di Martino, Filomena Ferrucci, Gavin McArdle, Giacomo Petillo |
Automatic Generation of an Adaptive WebGIS. |
W2GIS |
2009 |
DBLP DOI BibTeX RDF |
Personalization, GIS, Location Based Services, Adaptive Interfaces, Information Overload |
8 | Eoin Mac Aoidh, David C. Wilson, Michela Bertolotto |
A Study of Spatial Interaction Behaviour for Improved Delivery of Web-Based Maps. |
W2GIS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Dan Bohus, Eric Horvitz |
Dialog in the open world: platform and applications. |
ICMI |
2009 |
DBLP DOI BibTeX RDF |
floor management, open-world models, multimodal, engagement, turn-taking, multiparty interaction, spoken dialog, situated interaction |
8 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Katherine James, Anil Wipat, Jennifer Hallinan |
Integration of Full-Coverage Probabilistic Functional Networks with Relevance to Specific Biological Processes. |
DILS |
2009 |
DBLP DOI BibTeX RDF |
clustering, relevance, network analysis, Integrated networks |
8 | Giancarlo Guizzardi |
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Alisa Devlic, Roland Reichle, Michael Wagner 0001, Manuele Kirsch-Pinheiro, Yves Vanrompay, Yolande Berbers, Massimo Valla |
Context Inference of Users' Social Relationships and Distributed Policy Management. |
PerCom Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Richard Beckwith 0001, Sharon Greenfield |
Context Aware Education for Agriculture. |
PerCom Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Michela Farenzena, Loris Bazzani, Vittorio Murino, Marco Cristani |
Towards a Subject-Centered Analysis for Automated Video Surveillance. |
ICIAP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Kazuhiro Minami, Nikita Borisov, Carl A. Gunter |
Safety in discretionary access control for logic-based publish-subscribe systems. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
access control, safety, inference control, publish-subscribe system, logical language |
8 | Sukeshini A. Grandhi, Richard P. Schuler, Quentin Jones |
To answer or not to answer: that is the question for cell phone users. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
context, availability, interruptions, cell phones |
8 | Laura Kovács, Andrei Voronkov |
Interpolation and Symbol Elimination. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Hong Lu 0006, Wei Pan, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell |
SoundSense: scalable sound sensing for people-centric applications on mobile phones. |
MobiSys |
2009 |
DBLP DOI BibTeX RDF |
people centric sensing, sound classification, urban sensing, mobile phones, audio processing |
8 | Curtis E. Dyreson, Hao Jin |
A Synthetic, Trend-Based Benchmark for XPath. |
DASFAA Workshops |
2009 |
DBLP DOI BibTeX RDF |
XML, query processing, Benchmark, XPath |
8 | Jonathan Gallagher, Randolph L. Moses, Emre Ertin |
Distributed Computation of Likelihood Maps for Target Tracking. |
DCOSS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Joachim Biskup, Jens Seiler, Torben Weibert |
Controlled Query Evaluation and Inference-Free View Updates. (PDF / PS) |
DBSec |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Sara Motahari, Sotirios G. Ziavras, Mor Naaman, Mohamed Ismail, Quentin Jones |
Social Inference Risk Modeling in Mobile and Social Applications. |
CSE (3) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Huey-Ming Lee, Lily Lin |
A Fuzzy Risk Assessment in Software Development Defuzzified by Signed Distance. |
KES (2) |
2009 |
DBLP DOI BibTeX RDF |
fuzzy risk assessment, Risk assessment |
8 | Greg Smith, Desney S. Tan, Bongshin Lee |
iSee: interactive scenario explorer for online tournament games. |
Advances in Computer Entertainment Technology |
2009 |
DBLP DOI BibTeX RDF |
fantasy games, office pools, scenario exploration, tournament |
8 | Christophe Lecoutre, Olivier Roussel |
Failed Value Consistencies for Constraint Satisfaction. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Narayan Ramasubbu |
An Empiricist View of Managing Globally Distributed Software Development. |
SEAFOOD |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Francesco Bonchi |
Privacy Preserving Publication of Moving Object Data. |
Privacy in Location-Based Applications |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Boon-Kiat Quek, Kayo Sakamoto, Andrew Ortony |
A Data-Fusion Approach to Representing Personality Traits, Values, Beliefs and Behavior Descriptions. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
network, Personality, inference, values, spreading activation |
8 | Wei Lu 0018, Hengjian Tong |
Detecting Network Anomalies Using CUSUM and EM Clustering. |
ISICA |
2009 |
DBLP DOI BibTeX RDF |
clustering, Intrusion detection |
8 | Barry Norton, Liliana Cabral, Jörg Nitzsche |
Ontology-Based Translation of Business Process Models. |
ICIW |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yongwan Chun |
Modeling network autocorrelation within migration flows by eigenvector spatial filtering. |
J. Geogr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
JEL Classification C21, R23 |
8 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Preference-based belief revision for rule-based agents. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Reason maintenance systems, Rule-based agents, Preferences, Belief revision |
8 | Aveek Banerjee, Debasis Kundu |
Inference Based on Type-II Hybrid Censored Data From a Weibull Distribution. |
IEEE Trans. Reliab. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Yi-Dong Shen |
Reasoning with recursive loops under the PLP framework. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks |
8 | Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark |
DARE: a system for distributed abductive reasoning. |
Auton. Agents Multi Agent Syst. |
2008 |
DBLP DOI BibTeX RDF |
Distributed inference, Multi-thread Prolog, Abduction |
8 | Srinath Sridhar 0001, Fumei Lam, Guy E. Blelloch, R. Ravi 0001, Russell Schwartz |
Mixed Integer Linear Programming for Maximum-Parsimony Phylogeny Inference. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
Phylogenetic tree reconstruction, Algorithms, Integer Linear Programming, Computational Biology, Steiner tree problem, Maximum parsimony |
8 | Aldo Franco Dragoni |
Mental states as multi-context systems. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T01, 68T30, 68T27 |
8 | Enrico Giunchiglia, Nicola Leone, Marco Maratea |
On the relation among answer set solvers. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20 |
8 | Nuno Vasconcelos |
From Pixels to Semantic Spaces: Advances in Content-Based Image Retrieval. |
Computer |
2008 |
DBLP DOI BibTeX RDF |
image retrieval systems |
8 | Réka Albert, Bhaskar DasGupta, Riccardo Dondi, Eduardo D. Sontag |
Inferring (Biological) Signal Transduction Networks via Transitive Reductions of Directed Graphs. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Transitive reduction of directed graphs, Minimum equivalent digraph, (Biological) signal transduction networks, Approximation algorithms |
8 | Chitra Babu, R. Vijayalakshmi |
Metrics-based design selection tool for aspect oriented software development. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
aspect oriented software design, design-level metrics |
8 | Paul Edward Lehner, Leonard Adelman, Brant A. Cheikes, Mark J. Brown |
Confirmation Bias in Complex Analyses. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Peter Verdée, Stephan van der Waart van Gulik |
A Generic Framework for Adaptive Vague Logics. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
supervaluationism, subvaluationism, clarity logic, dynamic proofs, fuzzy logic, vagueness, adaptive logic |
8 | Hyunmo Kang, Lise Getoor, Ben Shneiderman, Mustafa Bilgic 0001, Louis Licamele |
Interactive Entity Resolution in Relational Data: A Visual Analytic Tool and Its Evaluation. |
IEEE Trans. Vis. Comput. Graph. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Daejung Shin, Seung You Na, Jin Young Kim 0002, Seong-Joon Baek |
Fuzzy neural networks for obstacle pattern recognition and collision avoidance of fish robots. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Obstacle pattern recognition, Fish robot, Collision avoidance, Fuzzy neural networks |
8 | Yingxu Wang 0001, Yiyu Yao, Guoyin Wang 0001 |
Perspectives on Denotational Mathematics: New Means of Thought. |
Trans. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
denotational mathematics, concept algebra, system algebra, visual semantic algebra, natural intelligence, AI, rough set, process algebra, knowledge engineering, granular computing, computational intelligence, Cognitive informatics, RTPA |
8 | Rineke Verbrugge, Lisette Mol |
Learning to Apply Theory of Mind. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
Epistemic logic, Pragmatics, Theory of Mind, Skill acquisition, Strategic reasoning |
8 | Hasan Amjad |
Data Compression for Proof Replay. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Proof translation, Interactive theorem proving, SAT solvers |
8 | Linda Hermer-Vazquez |
Tracing 'driver' versus 'modulator' information flow throughout large-scale, task-related neural circuitry. |
J. Comb. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Directed coherence, Action potentials, Local field potentials, Information flow, Granger causality |
8 | Hemant K. Sabat |
Spectrum acquisition strategies adopted by wireless carriers in the USA. |
Inf. Syst. Frontiers |
2008 |
DBLP DOI BibTeX RDF |
Spectrum acquisition strategies, Spectrum markets, Spectrum resale, Asset exchange, Equity holding, Spectrum leasing, Mergers and acquisitions, Divestitures, Designated regions, Auction |
8 | Michel Rudnianski, Helene Bestougeff |
Deterrence and Defeasibility in Argumentation Process for ALIS Project. |
Computable Models of the Law, Languages, Dialogues, Games, Ontologies |
2008 |
DBLP DOI BibTeX RDF |
ALIS, defeasibility, game of deterrence, graph of deterrence, rebutting, consistency, argumentation, attack, strategy, relevance, acceptability, playability |
8 | Kalliopi Tourtoglou, Maria Virvou |
User Stereotypes Concerning Cognitive, Personality and Performance Issues in a Collaborative Learning Environment for UML. |
New Directions in Intelligent Interactive Multimedia |
2008 |
DBLP DOI BibTeX RDF |
software engineering, Collaboration, UML, learning, user modelling, collaborative learning, CSCL, student modelling, stereotypes |
8 | Lorenzo Magnani, Emanuele Bardone |
Sharing Representations and Creating Chances through Cognitive Niche Construction. The Role of Affordances and Abduction. |
Communications and Discoveries from Multidisciplinary Data |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Arthur P. Dempster |
New Methods for Reasoning Towards PosteriorDistributions Based on Sample Data. |
Classic Works of the Dempster-Shafer Theory of Belief Functions |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Giuseppe Manco 0001, Miriam Baglioni, Fosca Giannotti, Bart Kuijpers, Alessandra Raffaetà , Chiara Renso |
Querying and Reasoning for Spatiotemporal Data Mining. |
Mobility, Data Mining and Privacy |
2008 |
DBLP DOI BibTeX RDF |
|
8 | John Mumma |
Ensuring Generality in Euclid's Diagrammatic Arguments. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Richard Bache, Fabio Crestani |
Estimating real-valued characteristics of criminals from their recorded crimes. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
crime data, offender profiling, data mining, language modelling, bayesian analysis |
8 | Yang Song 0008, Lu Zhang 0007, C. Lee Giles |
A Non-parametric Approach to Pair-Wise Dynamic Topic Correlation Detection. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Aaron Schulman, Dave Levin, Neil Spring |
On the Fidelity of 802.11 Packet Traces. |
PAM |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow |
The Isabelle Framework. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Mike Gordon |
Twenty Years of Theorem Proving for HOLs Past, Present and Future. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Gauvain Bourgne, Vincent Corruble |
A Framework for Knowledge Discovery in a Society of Agents. |
Discovery Science |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1557 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|