Search results for "Conciseness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Chandra M. R. Kintala, Detlef Wotschke	Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract).	STACS	1986	DBLP DOI BibTeX RDF
47	Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad	Extended Timed Automata and Time Petri Nets.	ACSD	2006	DBLP DOI BibTeX RDF	Conciseness, Timed Automata, Reachability Analysis, Time Petri Nets
42	Bruce Eddy, Alison Cawsey	Balancing Conciseness, Readability and Salience in Generated Text.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
33	Pierfrancesco Bellini, Paolo Nesi, Davide Rogai	Reply to Comments on "An Interval Logic for Real-Time System Specification'.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	TILCO, conciseness, temporal logic, Formal language, interval temporal logic
28	Eli Tilevich, Myoungkyu Song	Reusable enterprise metadata with pattern-based structural expressions.	AOSD	2010	DBLP DOI BibTeX RDF	metadata, frameworks, annotations, configuration, Eclipse
28	Zhu Li 0001, Guido M. Schuster, Aggelos K. Katsaggelos, Bhavan Gandhi	Rate-Distortion Optimal Video Summary Generation.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
28	Pierfrancesco Bellini, Paolo Nesi	TILCO-X, an Extension of TILCO Temporal Logic.	ICECCS	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, formal specification language, temporal operators, temporal interval logic
28	Karolina Rudnicka	Can Grammarly and ChatGPT accelerate language change? AIpowered technologies and their impact on the English language: wordiness vs. conciseness.	Proces. del Leng. Natural	2023	DBLP BibTeX RDF
28	Brendan Kondracki	Decoding Strategies for Code Conciseness and Efficiency in Transformer-Generated Programs.	NLDB	2023	DBLP DOI BibTeX RDF
28	Mengyun Cao, Hai Zhuge	Automatic evaluation of summary on fidelity, conciseness and coherence for text summarization based on semantic link network.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
28	Ziliang Cai, Lingyue Wang, Miaomiao Guo, Guizhi Xu, Lei Guo 0015, Ying Li	From Intricacy to Conciseness: A Progressive Transfer Strategy for EEG-Based Cross-Subject Emotion Recognition.	Int. J. Neural Syst.	2022	DBLP DOI BibTeX RDF
28	Felix Stahlberg, Aashish Kumar, Chris Alberti, Shankar Kumar	Conciseness: An Overlooked Language Task.	CoRR	2022	DBLP DOI BibTeX RDF
28	You Zhang 0002, Jin Wang 0008, Xuejie Zhang 0002	Conciseness is better: Recurrent attention LSTM model for document-level sentiment analysis.	Neurocomputing	2021	DBLP DOI BibTeX RDF
28	Lodewijk Bergmans, Xander Schrijen, Edwin Ouwehand, Magiel Bruntink	Measuring source code conciseness across programming languages using compression.	CoRR	2021	DBLP BibTeX RDF
28	B. Jaya Lakshmi, K. B. Madhuri, M. Shashi	Efficient hybrid algorithms for density based subspace clustering to deal with density divergence for improved quality and conciseness.	Evol. Syst.	2021	DBLP DOI BibTeX RDF
28	Lodewijk Bergmans, Xander Schrijen, Edwin Ouwehand, Magiel Bruntink	Measuring source code conciseness across programming languages using compression.	SCAM	2021	DBLP DOI BibTeX RDF
28	Bhargavi Paranjape, Mandar Joshi, John Thickstun, Hannaneh Hajishirzi, Luke Zettlemoyer	An Information Bottleneck Approach for Controlling Conciseness in Rationale Extraction.	CoRR	2020	DBLP BibTeX RDF
28	Susanna Donatelli, Serge Haddad	Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models.	LATA	2020	DBLP DOI BibTeX RDF
28	Bhargavi Paranjape, Mandar Joshi, John Thickstun, Hannaneh Hajishirzi, Luke Zettlemoyer	An Information Bottleneck Approach for Controlling Conciseness in Rationale Extraction.	EMNLP (1)	2020	DBLP DOI BibTeX RDF
28	Susanna Donatelli, Serge Haddad	Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata.	FORMATS	2020	DBLP DOI BibTeX RDF
28	Duarte Pinto, David Aveiro, Dulce Pacheco, Bernardo Gouveia, Duarte Gouveia	Validation of DEMO's Conciseness Quality and Proposal of Improvements to the Process Model.	EEWC	2020	DBLP DOI BibTeX RDF
28	Subhi Issa, Fayçal Hamdi 0001, Samira Si-Said Cherfi	Enhancing the Conciseness of Linked Data by Discovering Synonym Predicates.	KSEM (1)	2019	DBLP DOI BibTeX RDF
28	Subhi Issa	Linked data quality : completeness and conciseness. (Qualité du web des données : complétude et concision).		2019	RDF
28	David Aveiro, Duarte Pinto	Devising DEMO Guidelines and Process Patterns and Validating Comprehensiveness and Conciseness.	BMMDS/EMMSAD	2014	DBLP DOI BibTeX RDF
28	Zoë Abrams, Arpita Ghosh, Erik Vee	Cost of Conciseness in Sponsored Search Auctions.	WINE	2007	DBLP DOI BibTeX RDF
28	Dawn J. Lawrie, Henry Feild, David W. Binkley	Syntactic Identifier Conciseness and Consistency.	SCAM	2006	DBLP DOI BibTeX RDF	Identifier Quality, Part-of-speech
28	Patricia Bouyer, Fabrice Chevalier	On Conciseness of Extensions of Timed Automata.	J. Autom. Lang. Comb.	2005	DBLP DOI BibTeX RDF
28	Martin Kappes, Chandra M. R. Kintala	Tradeoffs Between Reliability and Conciseness of Deterministic Finite Automata.	J. Autom. Lang. Comb.	2004	DBLP DOI BibTeX RDF
28	Stephen Whittaker 0001, Marilyn A. Walker, Preetam Maloor	Should i tell all?: an experiment on conciseness in spoken dialogue.	INTERSPEECH	2003	DBLP DOI BibTeX RDF
28	Bruce Eddy	Towards Balancing Conciseness, Readability and Salience: an Integrated Architecture.	INLG	2002	DBLP BibTeX RDF
28	Toshihiro Suzuki, Tetsuji Kodama, Takeshi Furuhashi, Hiroaki Tsutsui	Fuzzy modeling using genetic algorithms with fuzzy entropy as conciseness measure.	Inf. Sci.	2001	DBLP DOI BibTeX RDF
28	Takeshi Furuhashi, Toshihiro Suzuki	On Interpretability of Fuzzy Models Using Conciseness Measure.	FUZZ-IEEE	2001	DBLP DOI BibTeX RDF
28	Kanta Tachibana, Takeshi Furuhashi	Uneven Input Space Division and Balance of Generality and Conciseness of Submodels for Hierarchical Fuzzy Modeling.	J. Adv. Comput. Intell. Intell. Informatics	2000	DBLP DOI BibTeX RDF
28	Giuseppe Carenini, Johanna D. Moore	An Empirical Study of the Influence of Argument Conciseness on Argument Effectiveness.	ACL	2000	DBLP BibTeX RDF
28	Terrence Harvey, Sandra Carberry	Integrating Text Plans for Conciseness and Coherence	CoRR	1998	DBLP BibTeX RDF
28	Kanta Tachibana, Takeshi Furuhashi	Generality and Conciseness of Submodels in Hierarchical Fuzzy Modeling.	SEAL	1998	DBLP DOI BibTeX RDF
28	Terrence Harvey, Sandra Carberry	Integrating Text Plans for Conciseness and Coherence.	COLING-ACL	1998	DBLP BibTeX RDF
28	James Shaw	Conciseness through Aggregation in Text Generation	CoRR	1995	DBLP BibTeX RDF
28	James Shaw	Conciseness through Aggregation in Text Generation.	ACL	1995	DBLP BibTeX RDF
14	Salvatore Ruggieri	Frequent regular itemset mining.	KDD	2010	DBLP DOI BibTeX RDF	closed and free itemsets, concise representations
14	Charu C. Aggarwal	On classification and segmentation of massive audio data streams.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Classification, Segmentation, Audio streams
14	Mirko Bordignon, Kasper Støy, Ulrik Pagh Schultz	A virtual machine-based approach for fast and flexible reprogramming of modular robots.	ICRA	2009	DBLP DOI BibTeX RDF
14	Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
14	Leila Amgoud, Florence Dupin de Saint-Cyr	Extracting the Core of a Persuasion Dialog to Evaluate Its Quality.	ECSQARU	2009	DBLP DOI BibTeX RDF
14	Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce	Rule Systems for Runtime Verification: A Short Tutorial.	RV	2009	DBLP DOI BibTeX RDF	Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems
14	Tewson Seeoun, Choochart Haruechaiyasak, Toshiaki Kondo	Identifying auxiliary web images using combination of analyses.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	web image classification, support vector machines
14	Saqib Sohail, Fabio Somenzi	Safety first: A two-stage algorithm for LTL games.	FMCAD	2009	DBLP DOI BibTeX RDF
14	Arnaud Soulet, Bruno Crémilleux	Adequate condensed representations of patterns.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Closure operator, Pattern mining, Condensed representation
14	Gerzson Kéri	The covering radius of extreme binary 2-surjective codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 94B75, 05C70, 05C65, 94B25
14	Ryuichi Ueda, Tamio Arai	Dynamic programming for global control of the acrobot and its chaotic aspect.	ICRA	2008	DBLP DOI BibTeX RDF
14	Jaakko Järvi, John Freeman	Lambda functions for C++0x.	SAC	2008	DBLP DOI BibTeX RDF	lambda functions, C++, closures, STL
14	Maurizio Cimadamore, Mirko Viroli	Integrating Java and Prolog through generic methods and type inference.	SAC	2008	DBLP DOI BibTeX RDF	java, prolog, generics, wildcards, multiparadigm
14	Radu Mateescu 0001, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
14	Ole Torp Lassen	Biosequence Analysis in PRISM.	ICLP	2008	DBLP DOI BibTeX RDF
14	Shiliang Zhang, Qingming Huang, Qi Tian 0001, Shuqiang Jiang, Wen Gao 0001	i.MTV: an integrated system for mtv affective analysis.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	affective content analysis, affective visualization, dimensional affective model, affinity propagation
14	Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley	Experience in using a process language to define scientific workflow and generate dataset provenance.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	scientific workflow, data provenance, continuous process improvement
14	Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria	Modeling and simulation of complex heterogeneous systems.	ISCAS	2008	DBLP DOI BibTeX RDF
14	Reynaldo Giganto, Tony Smith	Derivation of Classes from Use Cases Automatically Generated by a Three-Level Sentence Processing Algorithm.	ICONS	2008	DBLP DOI BibTeX RDF	natural language processing, requirements engineering, use cases, object-oriented analysis
14	Ji He	Improving feature representation of natural language gene functional annotations using automatic term expansion.	CIBCB	2008	DBLP DOI BibTeX RDF
14	Kenneth A. Ross, Julia Stoyanovich	Schema polynomials and applications.	EDBT	2008	DBLP DOI BibTeX RDF
14	Maurizio Cimadamore, Mirko Viroli	A Prolog-oriented extension of Java programming based on generics and annotations.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, Prolog, multiparadigm, Java generics
14	Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang	Dependencies Between Players in Boolean Games.	ECSQARU	2007	DBLP DOI BibTeX RDF
14	Charu C. Aggarwal	A framework for classification and segmentation of massive audio data streams.	KDD	2007	DBLP DOI BibTeX RDF	speaker recognition
14	Burak Emir, Martin Odersky, John Williams	Matching Objects with Patterns.	ECOOP	2007	DBLP DOI BibTeX RDF
14	Carlo Meghini, Nicolas Spyratos	Computing Intensions of Digital Library Collections.	ICFCA	2007	DBLP DOI BibTeX RDF
14	Sébastien Ferré	The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees.	ICFCA	2007	DBLP DOI BibTeX RDF
14	Shan Shan Huang, David Zook, Yannis Smaragdakis	cJ: enhancing java with safe type conditions.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, meta-programming, language extensions
14	Yiyu Yao	The Art of Granular Computing.	RSEISP	2007	DBLP DOI BibTeX RDF	Granular computing triangle, structured thinking, structured problem solving, structured information processing
14	Dan A. Alcantara, Owen T. Carmichael, Eric Delson, Will Harcourt-Smith, Kirstin Sterner, Stephen R. Frost, Rebecca A. Dutton, Paul M. Thompson, Howard Aizenstein, Oscar L. Lopez, James T. Becker, Nina Amenta	Localized Components Analysis.	IPMI	2007	DBLP DOI BibTeX RDF
14	Peter Van Weert, Jon Sneyers, Bart Demoen	Aggregates for CHR through Program Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
14	Dag I. K. Sjøberg	Documenting Theories Working Group Results.	Empirical Software Engineering Issues	2006	DBLP DOI BibTeX RDF
14	Fernando Castor Filho, Cecília M. F. Rubira, Raquel de A. Maranhão Ferreira, Alessandro Garcia 0001	Aspectizing Exception Handling: A Quantitative Study.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
14	Tim Fernando	Finite-State Temporal Projection.	CIAA	2006	DBLP DOI BibTeX RDF
14	Fernando Castor Filho, Nélio Cacho, Eduardo Figueiredo 0001, Raquel Maranhão, Alessandro Garcia 0001, Cecília M. F. Rubira	Exceptions and aspects: the devil is in the details.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	empirical studies, exception handling, aspectJ
14	Manuel Carro, José F. Morales 0001, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo	High-level languages for small devices: a case study.	CASES	2006	DBLP DOI BibTeX RDF	program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming
14	Nélio Cacho, Cláudio Sant'Anna, Eduardo Figueiredo 0001, Alessandro F. Garcia 0001, Thaís Vasconcelos Batista, Carlos José Pereira de Lucena	Composing design patterns: a scalability study of aspect-oriented programming.	AOSD	2006	DBLP DOI BibTeX RDF	metrics, design patterns, empirical studies, aspect-oriented programming, composability
14	Uirá Kulesza, Cláudio Sant'Anna, Alessandro Garcia 0001, Roberta Coelho, Arndt von Staa, Carlos José Pereira de Lucena	Quantifying the Effects of Aspect-Oriented Programming: A Maintenance Study.	ICSM	2006	DBLP DOI BibTeX RDF
14	Michael T. Goodrich, Daniel S. Hirschberg	Efficient parallel algorithms for dead sensor diagnosis and multiple access channels.	SPAA	2006	DBLP DOI BibTeX RDF	dead sensor diagnosis, group testing, multiple access channels
14	Muhammad-Amri Abdul-Karim, Badrinath Roysam, Natalie M. Dowell-Mesfin, A. Jeromin, Murat Yuksel, Shivkumar Kalyanaraman	Automatic Selection of Parameters for Vessel/Neurite Segmentation Algorithms.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
14	Louise Barkhuus	Why everyone loves to text message: social management with SMS.	GROUP	2005	DBLP DOI BibTeX RDF	mobile phones, SMS, qualitative studies
14	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
14	Sang-Hoon Kim, Tae-eun Kim, Malrey Lee, Jong-Soo Choi	3D-Based Synthesis and 3D Reconstruction from Uncalibrated Images.	KES (3)	2005	DBLP DOI BibTeX RDF
14	Denise Regina Pechmann Simon, Adelmo Luis Cechin	Comparison of Deterministic and Fuzzy Finite Automata Extraction Methods from Jordan Networks.	HIS	2005	DBLP DOI BibTeX RDF
14	Rifat Ozcan, Y. Alp Aslandogan	Concept-Based Information Access.	ITCC (1)	2005	DBLP DOI BibTeX RDF
14	Hong-Zhen Zheng, Dian-Hui Chu, De-chen Zhan	Rule Induction for Complete Information Systems in Knowledge Acquisition and Classification.	ICMLC	2005	DBLP DOI BibTeX RDF
14	Patrick Caldon, Eric Martin 0002	Limiting Resolution: From Foundations to Implementation.	ICLP	2004	DBLP DOI BibTeX RDF
14	David Callahan, Bradford L. Chamberlain, Hans P. Zima	The Cascade High Productivity Language.	HIPS	2004	DBLP DOI BibTeX RDF
14	Herman Geuvers, Rob Nederpelt	Rewriting for Fitch Style Natural Deductions.	RTA	2004	DBLP DOI BibTeX RDF
14	Martin Fränzle, Christian Herde	Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.	LPAR	2003	DBLP DOI BibTeX RDF	non-clausal propositional logic, zero-one linear constraint systems, Satisfiability, proof search, acceleration techniques
14	Anna C. Gilbert, S. Muthukrishnan 0001, Martin Strauss 0001	Approximation of functions over redundant dictionaries using coherence.	SODA	2003	DBLP BibTeX RDF
14	Helmut Horacek	Presenting Sets of Problem Solutions Concisely.	KI	2003	DBLP DOI BibTeX RDF
14	Duoqian Miao, Lishan Hou	An Application of Rough Sets to Monk's Problems Solving.	RSFDGrC	2003	DBLP DOI BibTeX RDF
14	Tao Wang 0004, Xiaoming Li 0001	LilyTask: A Task-Oriented Parallel Computation Model.	APPT	2003	DBLP DOI BibTeX RDF	task, computational Grid, BSP, irregular problem, parallel computation model
14	Jeff Gray 0001, Gabor Karsai	An Examination of DSLs for Concisely Representing Model Traversals and Transformations.	HICSS	2003	DBLP DOI BibTeX RDF
14	Frutuoso G. M. Silva, Abel João Padrão Gomes	AIF - A Data Structure for Polygonal Meshes.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
14	Charles Consel, Laurent Réveillère	A Programmable Client-Server Model: Robust Extensibility via DSLs.	ASE	2003	DBLP DOI BibTeX RDF
14	Jens Hoefkens, Martin Berz	Verification of Invertibility of Complicated Functions over Large Domains.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
14	Ann E. Kelley Sobel, Michael R. Clarkson	Formal Methods Application: An Empirical Tale of Software Development.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	formal methods, software specifications, software engineering curriculum
14	Yan-Bing Jiang, Wei-Zhong Shao, Zhi-Yi Ma, Yao-Dong Feng	On the Formalized Semantics of Static Modeling Elements in UML.	ICFEM	2002	DBLP DOI BibTeX RDF
14	Alan Gibbons, Paul Sant	Edge-Colouring Pairs of Binary Trees: Towards a Concise Proof of the Four-Colour Theorem of Planar Maps.	MFCS	2002	DBLP DOI BibTeX RDF