Search results for "true"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Hans P. van Ditmarsch, Tim French 0002	Simulation and Information: Quantifying over Epistemic Events.	KRAMAS	2008	DBLP DOI BibTeX RDF	Bisimulation quantifier, temporal epistemic logic, multi-agent system, modal logic
12	Van Hung Le 0001, Fei Liu 0003, Dinh Khang Tran	Fuzzy Linguistic Logic Programming.	ICIC (2)	2008	DBLP DOI BibTeX RDF	hedge algebra, linguistic value, fuzzy logic programming, linguistic hedge
12	Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard	Towards Modelling Obligations in Event-B.	ABZ	2008	DBLP DOI BibTeX RDF
12	N. M. Thamrin, Gunawan Witjaksono, A. Nuruddin, M. S. Abdullah	A Photonic-based Random Number Generator for Cryptographic Application.	SNPD	2008	DBLP DOI BibTeX RDF
12	Yifeng Zeng, Prashant Doshi	An Information-Theoretic Approach to Model Identification in Interactive Influence Diagrams.	IAT	2008	DBLP DOI BibTeX RDF
12	Ying-Ju Chen, Yi-Hong Chu, Ming-Syan Chen	Mining Quality-Aware Subspace Clusters.	PAKDD	2008	DBLP DOI BibTeX RDF
12	Yu Zong, Xianchao Zhang 0001, He Jiang 0001, Mingchu Li	A Creditable Subspace Labeling Method Based on D-S Evidence Theory.	PAKDD	2008	DBLP DOI BibTeX RDF
12	Khalil Djelloul	A Full First-Order Constraint Solver for Decomposable Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
12	Sham M. Kakade, Shai Shalev-Shwartz, Ambuj Tewari	Efficient bandit algorithms for online multiclass prediction.	ICML	2008	DBLP DOI BibTeX RDF
12	J. Nierwinski	Reliability Sampling Methodology Using Simulation and Re-Sampling.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
12	Deepak Sharma 0001, Abhay Kumar 0002, Kalyanmoy Deb, Karthik Sindhya	Hybridization of SBX based NSGA-II and sequential quadratic programming for solving multi-objective optimization problems.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
12	Arno Eigenwillig, Lutz Kettner, Nicola Wolpert	Snap rounding of Bézier curves.	SCG	2007	DBLP DOI BibTeX RDF	Bézier curves, geometric rounding, intersection computation, snap rounding, robustness, splines, arrangement
12	Sergio Greco, Cristian Molinaro	Querying and Repairing Inconsistent Databases Under Three-Valued Semantics.	ICLP	2007	DBLP DOI BibTeX RDF
12	Hongxia Shen, Tamer Basar	Pricing under information asymmetry for a large population of users.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	active pricing, nonlinear pricing, incentives, incomplete information, information asymmetry
12	Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima	What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.	TARK	2007	DBLP DOI BibTeX RDF
12	Hans-Peter Kriegel, Peer Kröger, Peter Kunath, Matthias Renz, Tim Schmidt	Proximity queries in large traffic networks.	GIS	2007	DBLP DOI BibTeX RDF	network embedding, traffic networks, proximity queries
12	Jinhui Tang 0001, Xian-Sheng Hua 0001, Guo-Jun Qi, Zhiwei Gu, Xiuqing Wu	Beyond Accuracy: Typicality Ranking for Video Annotation.	ICME	2007	DBLP DOI BibTeX RDF
12	Tae-Jun Ha, Seungjae Lee 0001, Jonghyung Kim, Chungwon Lee	Gradient Method for the Estimation of Travel Demand Using Traffic Counts on the Large Scale Network.	MMM (2)	2007	DBLP DOI BibTeX RDF
12	Sarah Smith Heckman	Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts.	ICSE Companion	2007	DBLP DOI BibTeX RDF
12	Y. Narahari, Nikesh Kumar Srivastava	A Bayesian Incentive Compatible Mechanism for Decentralized Supply Chain Formation.	CEC/EEE	2007	DBLP DOI BibTeX RDF
12	Richard M. Everson, Jonathan E. Fieldsend	Multiobjective Optimization of Safety Related Systems: An Application to Short-Term Conflict Alert.	IEEE Trans. Evol. Comput.	2006	DBLP DOI BibTeX RDF
12	Ruth Manor	Solving the Heap.	Synth.	2006	DBLP DOI BibTeX RDF
12	Hui-Nien Hung, Yi-Bing Lin, Nan-Fu Peng, Sok-Ian Sou	Connection failure detection mechanism of UMTS charging protocol.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
12	David G. Glynn, Johannes G. Maks, Rey Casse	The polynomial degree of the Grassmannian G(1, n, q) of lines in finite projective space PG(n, q).	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 14M15, 94B27, 51E22
12	Guofei Gu, Prahlad Fogla, David Dagon, Wenke Lee, Boris Skoric	Measuring intrusion detection capability: an information-theoretic approach.	AsiaCCS	2006	DBLP DOI BibTeX RDF	information-theoretic, intrusion detection, performance measurement
12	Khalil Djelloul, Thi-Bich-Hanh Dao	Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories.	SAC	2006	DBLP DOI BibTeX RDF	complete theory, first-order constraints, theory of trees, two partners games, rewriting rules
12	Cynthia Dwork, Frank McSherry, Kobbi Nissim, Adam D. Smith	Calibrating Noise to Sensitivity in Private Data Analysis.	TCC	2006	DBLP DOI BibTeX RDF
12	Frank van Harmelen	Where Does It Break? or: Why the Semantic Web Is Not Just "Research as Usual".	ESWC	2006	DBLP DOI BibTeX RDF
12	Peter J. Barger, Sridha Sridharan	On the Performance and Use of Speaker Recognition Systems for Surveillance.	AVSS	2006	DBLP DOI BibTeX RDF
12	Maosong Sun, Dongliang Xu, Benjamin K. Tsou, Huaming Lu	An Integrated Approach to Chinese Word Segmentation and Part-of-Speech Tagging.	ICCPOL	2006	DBLP DOI BibTeX RDF	integration, smoothing, part-of-speech tagging, Chinese word segmentation
12	Hong-Gyoo Sohn, Hyo-Keun Park, Choung-Hwan Park, Joon Heo	Digital Ortho-image Production for Web GIS Applications.	EUC Workshops	2006	DBLP DOI BibTeX RDF
12	Panos Rondogiannis, William W. Wadge	Minimum model semantics for logic programs with negation-as-failure.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-valued logics, Logic programming, well-founded model, negation-as-failure
12	Hui Jiang 0001, Frank K. Soong, Chin-Hui Lee	A Dynamic In-Search Data Selection Method With Its Applications to Acoustic Modeling and Utterance Verification.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
12	Yue Feng, Jianmin Jiang, Stanley S. Ipson	A shape-match based algorithm for pseudo-3D conversion of 2D videos.	ICIP (3)	2005	DBLP DOI BibTeX RDF
12	Krishnaram Kenthapadi, Nina Mishra, Kobbi Nissim	Simulatable auditing.	PODS	2005	DBLP DOI BibTeX RDF
12	Emre Özgündüz, Tülin Sentürk, M. Elif Karsligil	Efficient Off-Line Verification and Identification of Signatures by Multiclass Support Vector Machines.	CAIP	2005	DBLP DOI BibTeX RDF
12	Christopher W. Brown 0001, Scott McCallum	On using bi-equational constraints in CAD construction.	ISSAC	2005	DBLP DOI BibTeX RDF	CAD, polynomial systems
12	Simon K. Warfield, Kelly H. Zou, William M. Wells III	Simultaneous truth and performance level estimation (STAPLE): an algorithm for the validation of image segmentation.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
12	Keiko Kondo, Miki Haseyama, Hideo Kitajima	An efficient phase retrieval method using snakes for image reconstruction.	ICIP	2004	DBLP DOI BibTeX RDF
12	Jean Oh, Stephen F. Smith	Learning User Preferences in Distributed Calendar Scheduling.	PATAT	2004	DBLP DOI BibTeX RDF
12	Yu Qian, Kang Zhang 0001	Discovering spatial patterns accurately with effective noise removal.	DMKD	2004	DBLP DOI BibTeX RDF	data mining, clustering, pattern discovery, noise removal
12	Ted Scully, Michael G. Madden, Gerard Lyons	Coalition calculation in a dynamic agent environment.	ICML	2004	DBLP DOI BibTeX RDF
12	Thomas C. W. Landgrebe, Pavel Paclík, David M. J. Tax, Serguei Verzakov, Robert P. W. Duin	Cost-Based Classifier Evaluation for Imbalanced Problems.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
12	Christophe Andrieu	Monte Carlo Methods for Absolute Beginners.	Advanced Lectures on Machine Learning	2003	DBLP DOI BibTeX RDF
12	Germano Resconi, Chiara Ratti	Invariants and Fuzzy Logic.	KES	2003	DBLP DOI BibTeX RDF	meta-theory, tautology, Fuzzy logic, modal logic, invariant, compensation
12	Nicolò Cesa-Bianchi, Alex Conconi, Claudio Gentile	Learning Probabilistic Linear-Threshold Classifiers via Selective Sampling.	COLT	2003	DBLP DOI BibTeX RDF
12	Pascal Fontaine, E. Pascal Gribomont	Using BDDs with Combinations of Theories.	LPAR	2002	DBLP DOI BibTeX RDF
12	Chunsheng Liu, Krishnendu Chakrabarty, Michael Gössel	An Interval-Based Diagnosis Scheme for Identifying Failing Vectors in a Scan-BIST Environment.	DATE	2002	DBLP DOI BibTeX RDF
12	Nicolas T. Courtois, Josef Pieprzyk	Cryptanalysis of Block Ciphers with Overdefined Systems of Equations.	ASIACRYPT	2002	DBLP DOI BibTeX RDF	MQ problem, overdefined systems of multivariate equations, Gröbner bases, sparse multivariate polynomials, Multivariate Cryptanalysis, Block ciphers, AES, Rijndael, Square, Camellia, Serpent, XL algorithm, multivariate quadratic equations
12	Panos Rondogiannis, William W. Wadge	An Infinite-Valued Semantics for Logic Programs with Negation.	JELIA	2002	DBLP DOI BibTeX RDF
12	I-Ling Yen, Farokh B. Bastani, David J. Taylor	Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Robust data structures, atomic transaction processing, fault-tolerant systems, real-time processing
12	Chrysanthos Dellarocas	Analyzing the economic efficiency of eBay-like online reputation reporting mechanisms.	EC	2001	DBLP DOI BibTeX RDF	trust in electronic markets, electronic commerce, reputation systems
12	Li-San Wang	Exact-IEBP: A New Technique for Estimating Evolutionary Distances between Whole Genomes.	WABI	2001	DBLP DOI BibTeX RDF
12	John D. Kececioglu, Sanjay Shete, Jonathan P. Arnold	Reconstructing distances in physical maps of chromosomes with nonoverlapping probes.	RECOMB	2000	DBLP DOI BibTeX RDF	physical mapping of chromosomes, sampling without replacement protocol, computational biology, maximum likelihood, convex optimization
12	Victor Shoup	Using Hash Functions as a Hedge against Chosen Ciphertext Attack.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
12	Masumi Ishikawa, Hirohito Shimada, Shun-ichi Amari	Iterative Design of Regularizers Based on Data by Minimizing Generalization Errors.	IJCNN (1)	2000	DBLP DOI BibTeX RDF
12	Alexander Saldanha	Functional timing optimization.	ICCAD	1999	DBLP DOI BibTeX RDF
12	Mihaly Agfalvi, Istvan Kadar, Erik Papp	Generalization of Pick's theorem for surface of polyhedra.	APL	1999	DBLP DOI BibTeX RDF	APL
12	Janis Barzdins, Rusins Freivalds, Carl H. Smith	A Logic of Discovery.	Discovery Science	1998	DBLP DOI BibTeX RDF
12	Vishwani D. Agrawal, Sharad C. Seth	Mutually Disjoint Signals and Probability Calculation in Digital Circuits.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	Testing, Digital circuits, Signal probabilities, Syndrome
12	Markus Willems, Volker Bürsgens, Holger Keding, Thorsten Grötker, Heinrich Meyr	System Level Fixed-Point Design Based on an Interpolative Approach.	DAC	1997	DBLP DOI BibTeX RDF
12	Vijay K. Garg, Brian Waldecker	Detection of Strong Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Unstable predicates, distributed algorithms, distributed debugging, predicate detection
12	Kei-Yong Khoo, Alan N. Willson Jr.	Single-transistor transparent-latch clocking.	ARVLSI	1995	DBLP DOI BibTeX RDF	transparent-latch clocking, single-phase clocking scheme, CMOS VLSI designs, single NMOS transistor, allowable width, clock driver, dynamic buffer, architecture-driven voltage scaling, pipelining latches, latch-intensive architectures, filter structures, transposed-form FIR filter, VLSI, flip-flops, clocks, integrated circuit design, digital filters, FIR filters, power dissipation, CMOS digital integrated circuits
12	Srinivas Devadas, Kurt Keutzer, Sharad Malik	Computation of floating mode delay in combinational circuits: theory and algorithms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
12	Roope Kaivola	Compositional Model Checking for Linear-Time Temporal Logic.	CAV	1992	DBLP DOI BibTeX RDF
12	David R. Sutton, Peter J. H. King	Integration of Modal Logic and the Functional Data Model.	BNCOD	1992	DBLP DOI BibTeX RDF
12	Grace Ruiz Little	Establishing a graphics standard.	SIGUCCS	1990	DBLP DOI BibTeX RDF
12	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
12	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
12	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
12	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
12	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
12	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
12	Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin	Correction to "An equivalence between relational database dependencies and a fragment of propositional logic".	J. ACM	1987	DBLP DOI BibTeX RDF
12	J. D. Myers	The background of INTERNIST I and QMR.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
12	Reino Kurki-Suonio	Towards Programming with Knowledge Expressions.	POPL	1986	DBLP DOI BibTeX RDF
12	Peter B. Andrews	Connections and Higher-Order Logic.	CADE	1986	DBLP DOI BibTeX RDF
12	Junhan Xie, Yang Luo, Haifen Yang, Zijian Liu, Chunbo Luo	A Dynamic Group-Connected Design With True-Time-Delay for Wideband THz Beamforming.	IEEE Trans. Veh. Technol.	2024	DBLP DOI BibTeX RDF
12	Gangcan Sun, Wencai Yan, Wanming Hao, Chongwen Huang, Chau Yuen	Beamforming Design for the Distributed RISs-Aided THz Communications With Double-Layer True Time Delays.	IEEE Trans. Veh. Technol.	2024	DBLP DOI BibTeX RDF
12	Seunghwa Shin, Gyeong-Gu Kang, Gyu-Wan Lim, Hyun-Sik Kim	A Display Source-Driver IC Featuring Multistage-Cascaded 10-Bit DAC and True-DC-Interpolative Super-OTA Buffer.	IEEE J. Solid State Circuits	2024	DBLP DOI BibTeX RDF
12	Yifan Xie, Tianhui Wang, Young-Seon Jeong 0001, Ali Tosyali, Myong K. Jeong	True sparse PCA for reducing the number of essential sensors in virtual metrology.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
12	Yiannis Koumpouros	Revealing the true potential and prospects of augmented reality in education.	Smart Learn. Environ.	2024	DBLP DOI BibTeX RDF
12	Xingyu Wang, Ruilin Zhang, Kunyang Liu, Hirofumi Shinohara	A 0.116 pJ/bit Latch-Based True Random Number Generator Featuring Static Inverter Selection and Noise Enhancement.	IEEE Trans. Very Large Scale Integr. Syst.	2024	DBLP DOI BibTeX RDF
12	Xingyu Wang, Ruilin Zhang, Hirofumi Shinohara	A Single-Inverter-Based True Random Number Generator with On-Chip Clock-Tuning-Based Entropy Calibration Circuit.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Chi-Han Kuo, Guu-Chang Yang, David Chacko, Wing C. Kwong	True-Asynchronous Transmission Modeling and Software-Defined-Radio Experimental Testbed for Cognitive Radio Ad-Hoc Wireless Networks.	IEEE Trans. Cogn. Commun. Netw.	2024	DBLP DOI BibTeX RDF
12	Junchao Chen, Yuke Long, Yulin Chen, Xiaofei Liu	Numerical Analysis of the Shape Effect on the Mechanical Behaviors of Rocks in True 3D Compression Test.	Symmetry	2024	DBLP DOI BibTeX RDF
12	Jeremy F. Strain, Maryam Rahmani, Donna L. Dierker, Christopher J. Owen, Hussain Jafri, Andrei G. Vlassenko, Kyle B. Womack, Jurgen Fripp, Duygu Tosun, Tammie L. S. Benzinger, Michael Weiner, Colin L. Masters, Jin-Moo Lee, John C. Morris, Manu S. Goyal	Accuracy of TrUE-Net in comparison to established white matter hyperintensity segmentation methods: An independent validation study.	NeuroImage	2024	DBLP DOI BibTeX RDF
12	Inbal Stanger, Noam Roknian, Netanel Shavit, Yonatan Shoshan, Yoav Weizman, Adam Teman, Edoardo Charbon, Alexander Fish	Revisiting Dynamic Logic - A True Candidate for Energy-Efficient Cryogenic Operation in Nanoscaled Technologies.	IEEE Trans. Circuits Syst. I Regul. Pap.	2024	DBLP DOI BibTeX RDF
12	Adriaan Peetermans, Ingrid Verbauwhede	Characterization of Oscillator Phase Noise Arising From Multiple Sources for ASIC True Random Number Generation.	IEEE Trans. Circuits Syst. I Regul. Pap.	2024	DBLP DOI BibTeX RDF
12	Peigen Yu, Dixian Zhao	Design Considerations for Wideband Hybrid Large-Scale Antenna Array and Implementation of a 5-23-GHz CMOS True-Time-Delay Circuit.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
12	Md. Sakibur Sajal, Marc Dandin	True Random Number Generation Using Dark Noise Modulation of a Single-Photon Avalanche Diode.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
12	Paul Schütze	The impacts of AI futurism: an unfiltered look at AI's true effects on the climate crisis.	Ethics Inf. Technol.	2024	DBLP DOI BibTeX RDF
12	Yucong Chen, Yanshan Tian, Rui Zhou 0005, Diego Martínez-Castro, Deke Guo, Qingguo Zhou	NDSTRNG: Non-Deterministic Sampling-Based True Random Number Generator on SoC FPGA Systems.	IEEE Trans. Computers	2024	DBLP DOI BibTeX RDF
12	Edgar G. Daylight	True Turing: A Bird's-Eye View.	Minds Mach.	2024	DBLP DOI BibTeX RDF
12	Sreejata Kishor Bhattacharya	Aaronson-Ambainis Conjecture Is True For Random Restrictions.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
12	Robert S. Eisenberg	Maxwell's True Current.	Comput.	2024	DBLP DOI BibTeX RDF
12	Michal K. Grzeszczyk, Anna Lisowska, Arkadiusz Sitek, Aneta Lisowska	Decoding Emotional Valence from Wearables: Can Our Data Reveal Our True Feelings?	CoRR	2024	DBLP DOI BibTeX RDF
12	Weihao Tan, Wentao Zhang, Shanqi Liu, Longtao Zheng, Xinrun Wang, Bo An 0001	True Knowledge Comes from Practice: Aligning LLMs with Embodied Environments via Reinforcement Learning.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sreejata Kishor Bhattacharya	Aaronson-Ambainis Conjecture Is True For Random Restrictions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Anik Mallik, Dawei Chen, Kyungtae Han, Jiang (Linda) Xie, Zhu Han 0001	Unleashing the True Power of Age-of-Information: Service Aggregation in Connected and Autonomous Vehicles.	CoRR	2024	DBLP DOI BibTeX RDF