Search results for "MTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	San-Min Wang, Ming-Yan Wang	Undefinability of min-conjunction in MTL.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
21	Young Bae Jun, Yang Xu 0001, Xiaohong Zhang 0001	Fuzzy filters of MTL-algebras.	Inf. Sci.	2005	DBLP DOI BibTeX RDF
21	San-Min Wang, Bao-Shu Wang, Fang Ren	NML, a schematic extension of F.Esteva and L.Godo's logic MTL.	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
21	Carles Noguera, Francesc Esteva, Joan Gispert	On Some Varieties of MTL-algebras.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
21	Rostislav Horcík	Stronger version of standard completeness theorem for MTL.	EUSFLAT Conf.	2005	DBLP BibTeX RDF
21	Franco Montagna, Hiroakira Ono	Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall].	Stud Logica	2002	DBLP DOI BibTeX RDF
21	Sándor Jenei, Franco Montagna	A Proof of Standard Completeness for Esteva and Godo's Logic MTL.	Stud Logica	2002	DBLP DOI BibTeX RDF
21	Agata Ciabattoni, Christian G. Fermüller	Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.	ISMVL	2001	DBLP DOI BibTeX RDF
15	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
15	Moataz Saleh El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi	Computational complexities of axiomatic extensions of monoidal t-norm based logic.	Soft Comput.	2009	DBLP DOI BibTeX RDF
15	Xiaowei Feng, Shuai Guo, Xianhua Li, Yongyi He	Robust Mobile Robot Localization by Tracking Natural Landmarks.	AICI	2009	DBLP DOI BibTeX RDF	feature extraction, Localization, mobile robot, Unscented Kalman Filter
15	Jianhui Chen, Lei Tang 0001, Jun Liu 0003, Jieping Ye	A convex formulation for learning shared structures from multiple tasks.	ICML	2009	DBLP DOI BibTeX RDF
15	David Masip, Jordi Vitrià	Shared Feature Extraction for Nearest Neighbor Face Recognition.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
15	Carlo A. Furia, Paola Spoletini	Practical Efficient Modular Linear-Time Model-Checking.	ATVA	2008	DBLP DOI BibTeX RDF
15	Yuan Zhang, Limin Zhang	Research on CGF Entity Model Based on Factory Mechanism.	CSSE (2)	2008	DBLP DOI BibTeX RDF
15	Yong Lin Liu, San Yang Liu, Yang Xu 0001	Pseudo-BCK algebras and PD-posets.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Pseudo-BCK algebra, Normal ideal, Prime ideal, PD-poset, Congruence, Ideal
15	Oded Maler, Dejan Nickovic, Amir Pnueli	On Synthesizing Controllers from Bounded-Response Properties.	CAV	2007	DBLP DOI BibTeX RDF
15	Yongquan Wang, Xiaohong Zhang 0001, Zhiqing Shao	Boolean Filters and Prime Filters of Residual Lattices.	FSKD (1)	2007	DBLP DOI BibTeX RDF
15	Patricia Bouyer, Nicolas Markey	Costs Are Expensive!	FORMATS	2007	DBLP DOI BibTeX RDF
15	Xiao-hong Zhang 0001, Wei Hua Li	On pseudo-BL algebras and BCC-algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Normal filter, Pseudo-MV filter, Pseudo-G filter, BCC-algebras, Pseudo-BCK algebras, Weak pseudo-BL algebras, Pseudo-BL algebra, Boolean filter
15	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
15	Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar	On Continuous Timed Automata with Input-Determined Guards.	FSTTCS	2006	DBLP DOI BibTeX RDF
15	Georgios E. Fainekos, Antoine Girard, George J. Pappas	Temporal Logic Verification Using Simulation.	FORMATS	2006	DBLP DOI BibTeX RDF
15	Kamal Lodaya, Paritosh K. Pandya	A Dose of Timed Logic, in Guarded Measure.	FORMATS	2006	DBLP DOI BibTeX RDF
15	Ronit Ankori	Automatic Requirements Elicitation in Agile Processes.	SwSTE	2005	DBLP DOI BibTeX RDF
15	Seung-hyun Min, Kwang Ho Chun, Young-Rok Yang, Myoung-Jun Kim	A Soft Real-Time Guaranteed Java M: N Thread Mapping Method.	KES (1)	2005	DBLP DOI BibTeX RDF
15	Doron Drusinsky	Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen	Program Monitoring with LTL in EAGLE.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Nicolas Markey, Jean-François Raskin	Model Checking Restricted Sets of Timed Paths.	CONCUR	2004	DBLP DOI BibTeX RDF
15	Petr Hájek 0001	Observations on non-commutative fuzzy logic.	Soft Comput.	2003	DBLP DOI BibTeX RDF
15	Doron Drusinsky	Monitoring Temporal Rules Combined with Time Series.	CAV	2003	DBLP DOI BibTeX RDF
15	Gennadiy Donchyts, Mark Zheleznyak	Object-Oriented Framework for Modelling of Pollutant Transport in River Network.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
15	Lie-Quan Lee, Andrew Lumsdaine	Generic programming for high performance scientific applications.	Java Grande	2002	DBLP DOI BibTeX RDF	C++, message-passing, high-performance computing, generic programming, iterative solvers, krylov subspace
15	A. B. Bhattacharyya, Ram Singh Rana, S. K. Guha, Rajendar Bahl, R. Anand, M. J. Zarabi, P. A. Govindacharyulu, U. Gupta, V. Mohan, Jatin Roy, Amul Atri	A micropower analog hearing aid on low voltage CMOS digital process.	VLSI Design	1996	DBLP DOI BibTeX RDF	differential amplifiers, automatic gain control, micropower analog hearing aid, low voltage CMOS digital process, adaptive biasing, MOS translinear loop circuit, degenerating linearising resistor, input differential stage, AGC block, conversion efficiency, 3 micron, 1.0 V, power consumption, CMOS analogue integrated circuits, hearing aids
15	Gheorghe Tecuci, Ryszard S. Michalski	Input Understanding as a Basis for Multistrategy Task-Adaptive Learning.	ISMIS	1991	DBLP DOI BibTeX RDF	abstraction, knowledge acquisition, induction, analogy, abduction, explanation-based learning, multistrategy learning