Search results for "facts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Yusuke Yamamoto, Katsumi Tanaka	Finding Comparative Facts and Aspects for Judging the Credibility of Uncertain Facts.	WISE	2009	DBLP DOI BibTeX RDF	Support of credibility judgment, Mining of comparative facts and aspects for comparison, Web mining, Credibility
68	Shubin Zhao, Jonathan Betz	Corroborate and learn facts from the web.	KDD	2007	DBLP DOI BibTeX RDF	information extraction, web mining, bootstrapping
68	Weerakorn Ongsakul, Peerapol Jirapong	Optimal allocation of FACTS devices to enhance total transfer capability using evolutionary programming.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
50	Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin	Reliability Modeling for the Advanced Electric Power Grid.	SAFECOMP	2007	DBLP DOI BibTeX RDF	cyber-physical, Reliability, embedded, power grid, FACTS
50	Divesh Srivastava, S. Sudarshan 0001, Raghu Ramakrishnan 0001, Jeffrey F. Naughton	Space Optimization in Deductive Databases.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	bottom-up query evaluation deductive database systems, discarding facts, logic programming
48	Naoki Yoshinaga 0001, Kazumasa Nakamura, Kentaro Torisawa	A Novel Web-Oriented Writing Environment Using Objects' Facts Acquired from the Web.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
48	P. Bhasaputra, Weerakorn Ongsakul	Optimal placement of multi-type FACTS devices by hybrid TS/SA approach.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
48	Rajshekhar Sunderraman	Deductive Databases with Conditional Facts.	BNCOD	1993	DBLP DOI BibTeX RDF
47	Arie van Deursen, Tobias Kuipers	Source-Based Software Risk Assessment.	ICSM	2003	DBLP DOI BibTeX RDF
44	Enrique Cáceres	A constructivist model for the judicial determination of facts.	ICAIL	2007	DBLP DOI BibTeX RDF	applied legal epistemology, judicial determination of facts, judicial reasoning about evidence, legal constructivism
44	M. G. Venkateshmurthy, T. V. Geetha, R. K. Subramanian	Extraction and representation of facts from legal briefs.	J. Intell. Robotic Syst.	1990	DBLP DOI BibTeX RDF	knowledge representation, Legal reasoning, facts extraction
43	Jessica Zhu, Michel Cukier, Joseph Richardson Jr.	Nutrition Facts, Drug Facts, and Model Facts: Putting AI Ethics into Practice in Gun Violence Research.	CoRR	2024	DBLP DOI BibTeX RDF
43	Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin	Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure.	SAFECOMP	2009	DBLP DOI BibTeX RDF	failure propagation, cyber-physical, FACTS devices, reliability analysis, power grid
43	Carmel McNaught, Paul Lam, Shirley Leung, Kin-Fai Cheng	Evaluating an Online Module on Copyright Law and Intellectual Property.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF	Specific facts, schematic knowledge, knowledge retention, e-learning, intellectual property, schema theory, copyright laws
41	Z. Lu, Mengshi Li, W. J. Tang, Q. H. Wu	Optimal location of FACTS devices by a Bacterial Swarming Algorithm for reactive power planning.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
41	Hiroyuki Mori, Hidenobu Tani	Application of Two-Layered Tabu Search to Optimal Allocation of D-FACTS for Uncertain Wind Power Generation.	ISCAS	2007	DBLP DOI BibTeX RDF
41	Thomas Rölleke, Norbert Fuhr	Querying for Facts and Content in Hypermedia Documents.	FQAS	1998	DBLP DOI BibTeX RDF
41	David W. Embley, Stephen W. Liddle, Deryle W. Lonsdale, George Nagy, Yuri A. Tijerino, Robert Clawson, Jordan Crabtree, Yihong Ding, Piyushee Jha, Zonghui Lian, Stephen Lynn, Raghav K. Padmanabhan, Jeff Peters, Cui Tao, Robby Watts, Charla Woodbury, Andrew Zitzelberger	A Conceptual-Model-Based Computational Alembic for a Web of Knowledge.	ER	2008	DBLP DOI BibTeX RDF
41	Guido Boella, Leendert W. N. van der Torre	Delegation of Power in Normative Multiagent Systems.	DEON	2006	DBLP DOI BibTeX RDF
41	Baoshi Yan	Aligning Class Hierarchies with Grass-Roots Class Alignment.	Web Intelligence	2005	DBLP DOI BibTeX RDF
41	Eike Mühlenfeld	An expert system acquires and generalises experiences.	KES	2000	DBLP DOI BibTeX RDF
41	David W. Cordes, Doris L. Carver	Generating a requirements specifications knowledge-base.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
37	Zhigang Zhou	Application of Facts-Set Regression in Bid Evaluation.	MVHI	2010	DBLP DOI BibTeX RDF	Bid evaluation, facts-set, Decision support, Regression analysis, procurement
37	David A. Cape, Bruce M. McMillin, James K. Townsend	Model Checking Control Communication of a FACTS Device.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	lossy, model-checking, communication, verification, real-time, protocol, control, FACTS
36	Kirsten Terfloth, Jochen H. Schiller	Self-sustained Routing for Event Diffusion in Wireless Sensor Networks.	RuleML	2008	DBLP DOI BibTeX RDF	wireless sensor networks, routing, middleware, domain-specific language, rules, FACTS
35	Darius Blasband	Hard Facts vs Soft Facts.	WCRE	2008	DBLP DOI BibTeX RDF
35	Sohrab Khanmohammadi, Omid Ghaderi	Simultaneous Coordinated Tuning of Fuzzy PSS and Fuzzy FACTS Device Stabilizer for Damping Power System Oscillations in Multi-Machine Power System.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
35	Charles Y. C. Yeh, Calvin C. Y. Liao, Jen-Hang Wang, Tak-Wai Chan	Design of Dyad Game for Developing Fluency in Multiplication Facts.	DIGITEL	2007	DBLP DOI BibTeX RDF
35	Yixin Ni, Mak Lai On, Zhenyu Huang 0001, Shousun Chen, Baolin Zhang	Fuzzy logic damping controller for FACTS devices in interconnected power systems.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
35	Bruce M. McLaren, Kevin D. Ashley	Exploring the Dialectic Between Abstract Rules and Concrete Facts: Operationalizing Principles and Cases in Engineering Ethics.	EWCBR	1998	DBLP DOI BibTeX RDF
34	Adam J. Lee, Kazuhiro Minami, Nikita Borisov	Confidentiality-preserving distributed proofs of conjunctive queries.	AsiaCCS	2009	DBLP DOI BibTeX RDF	distributed proof, pervasive computing, consistency
34	Yusuke Yamamoto, Taro Tezuka, Adam Jatowt, Katsumi Tanaka	Supporting Judgment of Fact Trustworthiness Considering Temporal and Sentimental Aspects.	WISE	2008	DBLP DOI BibTeX RDF
34	John McCarthy 0001	Phenomenal data-mining.	K-CAP	2001	DBLP DOI BibTeX RDF
29	Robert Charles Koons	The Logic of Causal Explanation An Axiomatization.	Stud Logica	2004	DBLP DOI BibTeX RDF	causal explanation, strong Kleene, Quine, Kim, Davidson, Barwise, Etchemendy, facta, causal relata, actuality, truth-makers, ontology, modal logic, events, modality, three-valued logic, mereology, facts, causation, situation theory
29	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
29	Stefano Ceri, Georg Gottlob, Gio Wiederhold	Efficient Database Access from Prolog.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage
29	Claudia M. Eckert, Ola Isaksson, Malin Hane-Hagström, Calandra Eckert	My Facts Are not Your Facts: Data Wrangling as a Socially Negotiated Process, A Case Study in a Multisite Manufacturing Company.	J. Comput. Inf. Sci. Eng.	2022	DBLP DOI BibTeX RDF
29	Alexander Reutlinger	Are causal facts really explanatorily emergent? Ladyman and Ross on higher-level causal facts and renormalization group explanation.	Synth.	2017	DBLP DOI BibTeX RDF
29	Bas Janssen, Mena B. Habib, Maurice van Keulen	Truth Assessment of Objective Facts Extracted from Tweets: A Case Study on World Cup 2014 Game Facts.	WEBIST	2017	DBLP DOI BibTeX RDF
29	Maiquel de Brito, Jomi Fred Hübner, Rafael H. Bordini	Analysis of the Use of Events and States as Brute Facts in Modelling of Institutional Facts.	COIN@AAMAS/PRIMA	2013	DBLP DOI BibTeX RDF
29	David W. Embley, Spencer Machado, Thomas L. Packer, Joseph S. Park, Andrew Zitzelberger, Stephen W. Liddle, Nathan Tate, Deryle W. Lonsdale	Enabling search for facts and implied facts in historical documents.	HIP@ICDAR	2011	DBLP DOI BibTeX RDF
29	Rui Wang 0005, Chris Callison-Burch	Cheap Facts and Counter-Facts.	Mturk@HLT-NAACL	2010	DBLP BibTeX RDF
29	Arnold Frisch	A/MS BISTs: The FACTS, Just the Facts.	ITC	2002	DBLP DOI BibTeX RDF
29	Radosvet Todorov	Facts or imposed names on facts?	Scientometrics	1994	DBLP DOI BibTeX RDF
28	Kirsten Terfloth, Jochen H. Schiller	Efficient configuration and control of sanets using facts.	HeterSanet	2008	DBLP DOI BibTeX RDF	layered system access, wireless sensor actor networks, middleware
28	Judith B. Cardell	A Real Time Price Signal for FACTS Devices to Reduce Transmission Congestion.	HICSS	2007	DBLP DOI BibTeX RDF
28	Daniel L. Moise, Kenny Wong	Extracting Facts from Perl Code.	WCRE	2006	DBLP DOI BibTeX RDF
28	Luis von Ahn, Mihir Kedia, Manuel Blum 0001	Verbosity: a game for collecting common-sense facts.	CHI	2006	DBLP DOI BibTeX RDF	web-based games, common-sense reasoning, distributed knowledge acquisition
28	Mike Bazakos, Yunqian Ma, Andrew H. Johnson	Fast access control technology solutions (FACTS).	AVSS	2005	DBLP DOI BibTeX RDF
28	Shou-De Lin, Hans Chalupsky	Using unsupervised link discovery methods to find interesting facts and connections in a bibliography dataset.	SIGKDD Explor.	2003	DBLP DOI BibTeX RDF
28	Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller	Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
28	Koen van Eijk, Bart Mesman, Carlos A. Alba Pinto, Qin Zhao, Marco Bekooij, Jef L. van Meerbergen, Jochen A. G. Jess	Constraint analysis for code generation: basic techniques and applications in FACTS.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	foreground memory, phase coupling, scheduling, DSP, constraint analysis, register binding
27	Xiaojiang Liu, Zaiqing Nie, Nenghai Yu, Ji-Rong Wen	BioSnowball: automated population of Wikis.	KDD	2010	DBLP DOI BibTeX RDF	summarization, bootstrapping, fact extraction, markov logic networks
27	Alban Galland, Serge Abiteboul, Amélie Marian, Pierre Senellart	Corroborating information from disagreeing views.	WSDM	2010	DBLP DOI BibTeX RDF	corroboration, probabilistic model, view, fix-point, confidence, contradiction
27	Hendrikus J. S. Basten, Paul Klint	DeFacto: Language-Parametric Fact Extraction from Source Code.	SLE	2008	DBLP DOI BibTeX RDF
27	Daniel Grazioli, Elena Pasquali	A scalable grid based application platform for high volumes of transactional event driven processes.	DEBS	2008	DBLP DOI BibTeX RDF	EDAP, WL BOSS, event emitter, transactional framework, scalability, grid, benchmarks, business process, event, determinism, event-driven, fact
27	Terry A. Halpin	ORM 2008 PC Co-chairs' Message.	OTM Workshops	2008	DBLP DOI BibTeX RDF
27	Maciej Kiewra	Representation of Uncertain Knowledge in Probabilistic OLAP Model.	KES (2)	2008	DBLP DOI BibTeX RDF	knowledge management, uncertainty, data warehouse, OLAP, probabilistic databases, multidimensional model
27	Terry A. Halpin, Sjir Nijssen, Robert Meersman	ORM 2007 PC Co-chairs' Message.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
27	Terry A. Halpin, Robert Meersman	ORM 2006 PC Co-chairs' Message.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
27	Kazuhiro Minami, David Kotz	Scalability in a Secure Distributed Proof System.	Pervasive	2006	DBLP DOI BibTeX RDF
27	Daniel L. Moise, Kenny Wong	Extracting and Representing Cross-Language Dependencies in Diverse Software Systems.	WCRE	2005	DBLP DOI BibTeX RDF
27	Terry A. Halpin, Robert Meersman	ORM 2005 PC Co-chairs' Message.	OTM Workshops	2005	DBLP DOI BibTeX RDF
27	John Kingston, Burkhard Schafer 0001, Wim Vandenberghe	Towards a Financial Fraud Ontology: A Legal Modelling Approach.	Artif. Intell. Law	2004	DBLP DOI BibTeX RDF	financial fraud, user requirement analysis, World Wide Web, knowledge modeling, evidence, law, legal ontology
27	Yuan Lin 0005, Richard C. Holt, Andrew J. Malton	Completeness of a Fact Extractor.	WCRE	2003	DBLP DOI BibTeX RDF
27	Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos	Maximal Expansions of Database Updates.	FoIKS	2000	DBLP DOI BibTeX RDF
27	Tracy Camp	Survey results from the incredible shrinking pipeline (abstract).	ACM Policy	1998	DBLP DOI BibTeX RDF
27	Galia Angelova, Svetlana Damianova, Kristina Toutanova, Kalina Bontcheva	Menu-Based Interfaces to Conceptual Graphs: The CGLex Approach.	ICCS	1997	DBLP DOI BibTeX RDF
27	Seppo Sippu, Eljas Soisalon-Soininen	An Analysis of Magic Sets and Related Optimization Strategies for Logic Queries.	J. ACM	1996	DBLP DOI BibTeX RDF	logic query, datalog, envelopes, magic sets
27	Gérard Pavillon	Knowledge Discovery from Epidemiological Databases.	EDBT	1996	DBLP DOI BibTeX RDF	Dependence and Causal Relationships, Knowledge Discovery, Induction
27	Viet Phan Luong	A Mixed Approach to Negation in General Datalog Programs.	DOOD	1995	DBLP DOI BibTeX RDF
27	Jack Minker	Search Strategy and Selection Function for an Inferential Relational System.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	answer and reason extraction, selection function, top-down search, virtual relations, relational databases, heuristics, logic, inference mechanism, search strategy, predicate calculus
22	Madhu Bhan, D. Evangelin Geetha, T. V. Suresh Kumar, K. Rajani Kanth	Modeling of Object Oriented OLAP.	ITNG	2009	DBLP DOI BibTeX RDF	Unified Modelling Language (UML), Dimensions, On Line Analytical Processing (OLAP), Facts
22	M. Oliver Perez, Juan M. Ramirez, H. Pavel Zuniga	Neurocontroller for Power Electronics-Based Devices.	CIARP	2009	DBLP DOI BibTeX RDF	StatCom, Artificial neural network, B-Spline, FACTS
22	Mieko Tanaka-Yamawaki, Keita Awaji	Dynamical Effect on Tick-Wise Price Predictions.	KES (2)	2008	DBLP DOI BibTeX RDF	Dynamical Pattern Classifier, Price Prediction Generator, Tick-wise Price, Quadratic Least Square Estimate (QLSE), Stylized facts
22	Kirsten Terfloth, Jochen H. Schiller	Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks.	RuleML	2008	DBLP DOI BibTeX RDF	reactive rules, RDL, domain-specific language, FACTS
22	J. Rajesh, D. Janakiram	JIAD: a tool to infer design patterns in refactoring.	PPDP	2004	DBLP DOI BibTeX RDF	facts-base, intent-aspects (IAs), predicate-templates, design pattern (DP), prolog, refactoring, object-oriented systems, rule-base, declarative programming
22	Robert J. K. Jacob, Judith N. Froscher	A Software Engineering Methodology for Rule-Based Systems.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	knowledge maintenance, maintainable rule-based expert systems, notation set, software engineering, knowledge based systems, expert systems, connectivity, knowledge base, rules, information hiding, rule-based systems, facts, software engineering methodology
21		Consistent Facts.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
21	Johan van Benthem	Logic and Reasoning: do the facts matter?	Stud Logica	2008	DBLP DOI BibTeX RDF	Psychology of reasoning, Self-correction, Interaction, Psychologism, Dynamic logic, Cognitive science
21	Philip I. Pavlik, Thomas Bolster, Sue-mei Wu, Kenneth R. Koedinger, Brian MacWhinney	Using Optimally Selected Drill Practice to Train Basic Facts.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	practice scheduling, prerequisites, computer assisted instruction
21	Marius Pasca	Organizing and searching the world wide web of facts -- step two: harnessing the wisdom of the crowds.	WWW	2007	DBLP DOI BibTeX RDF	class attributes, unstructured text, web search queries, knowledge acquisition, named entities, fact extraction
21	Vasile Rus, Zhiqiang Cai 0002, Arthur C. Graesser	Experiments on Generating Questions About Facts.	CICLing	2007	DBLP DOI BibTeX RDF
21	Prechanon Kumkratug, Panthep Laohachai	Time Domain Simulation Technique of a Power System Transient with VSC Based Facts Devices.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
21	Wei Qiao 0001, Ronald G. Harley, Ganesh K. Venayagamoorthy	DHP-Based Wide-Area Coordinating Control of a Power System with a Large Wind Farm and Multiple FACTS Devices.	IJCNN	2007	DBLP DOI BibTeX RDF
21	Waltenegus Dargie, Thomas Springer 0001	Integrating Facts and Beliefs to Model and Reason About Context.	DAIS	2007	DBLP DOI BibTeX RDF
21	Thomas Haigh	"A veritable bucket of facts" origins of the data base management system.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF
21	Cuong Vu The, Khanh La Minh, Tuan Quoc Tran 0001, Nguyen Boi Khue, Lam Du Son	FACTS Devices Applications on Power System to Improve the Angle Stability.	APCCAS	2006	DBLP DOI BibTeX RDF
21	Takashi Hashimoto, Susumu Egashira	Multi-agent-based Simulation for Formation of Institutions on Socially Constructed Facts.	ECAL	2005	DBLP DOI BibTeX RDF
21	Benoît Sagot	Linguistic Facts as Predicates over Ranges of the Sentence.	LACL	2005	DBLP DOI BibTeX RDF
21	Jung-Wook Park, Ian A. Hiskens	Damping improvement through tuning controller limits of a series FACTS device.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
21	Rudolf Ferenc, István Siket, Tibor Gyimóthy	Extracting Facts from Open Source Software.	ICSM	2004	DBLP DOI BibTeX RDF	fault-proneness detection, compiler wrapping, CANPP, reverse engineering, C++, metrics, C, open source, schema, CAN, Mozilla, Fact extraction, Columbus
21	Michael A. Gilbert	Getting Good Value. Facts, Values, and Goals in Computational Linguistics.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
21	David M. Mark	Counter-Intuitive Geographic "Facts": Clues for Spatial Reasoning at Geographic Scales.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
20	Yafang Wang, Mingjie Zhu, Lizhen Qu, Marc Spaniol, Gerhard Weikum	Timely YAGO: harvesting, querying, and visualizing temporal knowledge from Wikipedia.	EDBT	2010	DBLP DOI BibTeX RDF	knowledge harvesting, temporal fact extraction, ontology, knowledge management, Wikipedia, temporal queries
20	Jason Swarts	The collaborative construction of "fact" on Wikipedia.	SIGDOC	2009	DBLP DOI BibTeX RDF	fact creation, power and negotiation, wiki, wikipedia, participation
20	Matteo Golfarelli, Stefano Rizzi	Expressing OLAP Preferences.	SSDBM	2009	DBLP DOI BibTeX RDF	database preferences, OLAP, multidimensional databases
20	Subhajit Roy 0001, Y. N. Srikant	Improving flow-insensitive solutions for non-separable dataflow problems.	SAC	2008	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis
20	K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu	Generating Specialized Rules and Programs for Demand-Driven Analysis.	AMAST	2008	DBLP DOI BibTeX RDF
20	Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner	Dataflow analysis for concurrent programs using datarace detection.	PLDI	2008	DBLP DOI BibTeX RDF	locksets, interprocedural analysis, multithreaded programs, summaries