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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings, pp. 291-305, 1986, Springer, 3-540-16078-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
47 | Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad |
Extended Timed Automata and Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 91-100, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France, pp. 233-240, 2002, IEEE Computer Society, 0-7695-1668-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai |
Reply to Comments on "An Interval Logic for Real-Time System Specification'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(6), pp. 428-431, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010, pp. 25-36, 2010, ACM, 978-1-60558-958-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 14(10), pp. 1550-1560, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Pierfrancesco Bellini, Paolo Nesi |
TILCO-X, an Extension of TILCO Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden, pp. 15-25, 2001, IEEE Computer Society, 0-7695-1159-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proces. del Leng. Natural ![In: Proces. del Leng. Natural 71, pp. 205-214, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
28 | Brendan Kondracki |
Decoding Strategies for Code Conciseness and Efficiency in Transformer-Generated Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems - 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Derby, UK, June 21-23, 2023, Proceedings, pp. 456-466, 2023, Springer, 978-3-031-35319-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 206, pp. 117777, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Neural Syst. ![In: Int. J. Neural Syst. 32(3), pp. 2250005:1-2250005:22, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Felix Stahlberg, Aashish Kumar, Chris Alberti, Shankar Kumar |
Conciseness: An Overlooked Language Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.04126, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 462, pp. 101-112, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Lodewijk Bergmans, Xander Schrijen, Edwin Ouwehand, Magiel Bruntink |
Measuring source code conciseness across programming languages using compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.09728, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evol. Syst. ![In: Evol. Syst. 12(2), pp. 489-501, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Lodewijk Bergmans, Xander Schrijen, Edwin Ouwehand, Magiel Bruntink |
Measuring source code conciseness across programming languages using compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Luxembourg, September 27-28, 2021, pp. 47-57, 2021, IEEE, 978-1-6654-4897-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.00652, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Susanna Donatelli, Serge Haddad |
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings, pp. 170-183, 2020, Springer, 978-3-030-40607-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (1) ![In: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, EMNLP 2020, Online, November 16-20, 2020, pp. 1938-1952, 2020, Association for Computational Linguistics, 978-1-952148-60-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Susanna Donatelli, Serge Haddad |
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings, pp. 215-230, 2020, Springer, 978-3-030-57627-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEWC ![In: Advances in Enterprise Engineering XIV - 10th Enterprise Engineering Working Conference, EEWC 2020, Bozen-Bolzano, Italy, September 28, October 19, and November 9-10, 2020, Revised Selected Papers, pp. 133-152, 2020, Springer, 978-3-030-74195-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM (1) ![In: Knowledge Science, Engineering and Management - 12th International Conference, KSEM 2019, Athens, Greece, August 28-30, 2019, Proceedings, Part I, pp. 739-750, 2019, Springer, 978-3-030-29550-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Subhi Issa |
Linked data quality : completeness and conciseness. (Qualité du web des données : complétude et concision). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
28 | David Aveiro, Duarte Pinto |
Devising DEMO Guidelines and Process Patterns and Validating Comprehensiveness and Conciseness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMMDS/EMMSAD ![In: Enterprise, Business-Process and Information Systems Modeling - 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014. Proceedings, pp. 408-423, 2014, Springer, 978-3-662-43744-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Zoë Abrams, Arpita Ghosh, Erik Vee |
Cost of Conciseness in Sponsored Search Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 326-334, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Dawn J. Lawrie, Henry Feild, David W. Binkley |
Syntactic Identifier Conciseness and Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA, pp. 139-148, 2006, IEEE Computer Society, 0-7695-2353-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Identifier Quality, Part-of-speech |
28 | Patricia Bouyer, Fabrice Chevalier |
On Conciseness of Extensions of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 10(4), pp. 393-405, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Martin Kappes, Chandra M. R. Kintala |
Tradeoffs Between Reliability and Conciseness of Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 9(2/3), pp. 281-292, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: 8th European Conference on Speech Communication and Technology, EUROSPEECH 2003 - INTERSPEECH 2003, Geneva, Switzerland, September 1-4, 2003, pp. 1685-1688, 2003, ISCA. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Bruce Eddy |
Towards Balancing Conciseness, Readability and Salience: an Integrated Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INLG ![In: Proceedings of the International Natural Language Generation Conference, Harriman, New York, USA, July 2002, pp. 173-178, 2002, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Toshihiro Suzuki, Tetsuji Kodama, Takeshi Furuhashi, Hiroaki Tsutsui |
Fuzzy modeling using genetic algorithms with fuzzy entropy as conciseness measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 136(1-4), pp. 53-67, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Takeshi Furuhashi, Toshihiro Suzuki |
On Interpretability of Fuzzy Models Using Conciseness Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: Proceedings of the 10th IEEE International Conference on Fuzzy Systems, Melbourne, Australia, December 2-5, 2001, pp. 284-287, 2001, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 4(2), pp. 152-157, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Giuseppe Carenini, Johanna D. Moore |
An Empirical Study of the Influence of Argument Conciseness on Argument Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 38th Annual Meeting of the Association for Computational Linguistics, Hong Kong, China, October 1-8, 2000., pp. 150-157, 2000, ACL. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
28 | Terrence Harvey, Sandra Carberry |
Integrating Text Plans for Conciseness and Coherence ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cmp-lg/9805010, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Kanta Tachibana, Takeshi Furuhashi |
Generality and Conciseness of Submodels in Hierarchical Fuzzy Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 206-214, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Terrence Harvey, Sandra Carberry |
Integrating Text Plans for Conciseness and Coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING-ACL ![In: 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, COLING-ACL '98, August 10-14, 1998, Université de Montréal, Montréal, Quebec, Canada. Proceedings of the Conference., pp. 512-518, 1998, Morgan Kaufmann Publishers / ACL. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | James Shaw |
Conciseness through Aggregation in Text Generation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cmp-lg/9505008, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
28 | James Shaw |
Conciseness through Aggregation in Text Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 33rd Annual Meeting of the Association for Computational Linguistics, 26-30 June 1995, MIT, Cambridge, Massachusetts, USA, Proceedings., pp. 329-331, 1995, Morgan Kaufmann Publishers / ACL. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
14 | Salvatore Ruggieri |
Frequent regular itemset mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 263-272, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
closed and free itemsets, concise representations |
14 | Charu C. Aggarwal |
On classification and segmentation of massive audio data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 20(2), pp. 137-156, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 4273-4280, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 121-130, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 59-70, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
Rule Systems for Runtime Verification: A Short Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 1-24, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 1125-1126, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 77-84, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Arnaud Soulet, Bruno Crémilleux |
Adequate condensed representations of patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 17(1), pp. 94-110, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Closure operator, Pattern mining, Condensed representation |
14 | Gerzson Kéri |
The covering radius of extreme binary 2-surjective codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 46(2), pp. 191-198, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 2416-2422, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jaakko Järvi, John Freeman |
Lambda functions for C++0x. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 178-183, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 198-205, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 148-164, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ole Torp Lassen |
Biosequence Analysis in PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 809-810, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 985-986, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 319-329, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 2873-2876, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONS ![In: The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico, pp. 75-80, 2008, IEEE Computer Society, 978-0-7695-3105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBCB ![In: Proceedings of the 2008 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2008, Sun Valley Resort, Sun Valley, Idaho, USA, September 15-17, 2008, pp. 173-179, 2008, IEEE, 978-1-4244-1778-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Kenneth A. Ross, Julia Stoyanovich |
Schema polynomials and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2008, 11th International Conference on Extending Database Technology, Nantes, France, March 25-29, 2008, Proceedings, pp. 404-415, 2008, ACM, 978-1-59593-926-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Maurizio Cimadamore, Mirko Viroli |
A Prolog-oriented extension of Java programming based on generics and annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 197-202, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 743-754, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Charu C. Aggarwal |
A framework for classification and segmentation of massive audio data streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Jose, California, USA, August 12-15, 2007, pp. 1013-1017, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
speaker recognition |
14 | Burak Emir, Martin Odersky, John Williams |
Matching Objects with Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 273-298, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Meghini, Nicolas Spyratos |
Computing Intensions of Digital Library Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 66-81, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sébastien Ferré |
The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 98-113, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
cJ: enhancing java with safe type conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 185-198, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, meta-programming, language extensions |
14 | Yiyu Yao |
The Art of Granular Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSEISP ![In: Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings, pp. 101-112, 2007, Springer, 978-3-540-73450-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings, pp. 519-531, 2007, Springer, 978-3-540-73272-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Peter Van Weert, Jon Sneyers, Bart Demoen |
Aggregates for CHR through Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, pp. 59-73, 2007, Springer, 978-3-540-78768-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Dag I. K. Sjøberg |
Documenting Theories Working Group Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empirical Software Engineering Issues ![In: Empirical Software Engineering Issues. Critical Assessment and Future Directions, International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers, pp. 111-114, 2006, Springer, 978-3-540-71300-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Exception Handling Techniques ![In: Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), pp. 255-274, 2006, Springer, 3-540-37443-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Tim Fernando |
Finite-State Temporal Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, pp. 230-241, 2006, Springer, 3-540-37213-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 152-162, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2006 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2006, Seoul, Korea, October 22-25, 2006, pp. 271-281, 2006, ACM, 1-59593-543-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006, pp. 109-121, 2006, ACM, 1-59593-300-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 223-233, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Michael T. Goodrich, Daniel S. Hirschberg |
Efficient parallel algorithms for dead sensor diagnosis and multiple access channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 118-127, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 14(9), pp. 1338-1350, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Louise Barkhuus |
Why everyone loves to text message: social management with SMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2005 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2005, Sanibel Island, Florida, USA, November 6-9, 2005, pp. 324-325, 2005, ACM, 1-59593-223-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mobile phones, SMS, qualitative studies |
14 | Kevin Bierhoff, Jonathan Aldrich |
Lightweight object specification with typestates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 217-226, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III, pp. 213-218, 2005, Springer, 3-540-28896-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 5th International Conference on Hybrid Intelligent Systems (HIS 2005), 6.9 November 2005, Rio de Janeiro, Brazil, pp. 437-444, 2005, IEEE Computer Society, 0-7695-2457-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Rifat Ozcan, Y. Alp Aslandogan |
Concept-Based Information Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 794-799, 2005, IEEE Computer Society, 0-7695-2315-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: Advances in Machine Learning and Cybernetics, 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers, pp. 278-284, 2005, Springer, 3-540-33584-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Caldon, Eric Martin 0002 |
Limiting Resolution: From Foundations to Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 149-164, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | David Callahan, Bradford L. Chamberlain, Hans P. Zima |
The Cascade High Productivity Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIPS ![In: 9th International Workshop on High-Level Programming Models and Supportive Environments (HIPS 2004), 26 April 2004, Santa Fe, NM, USA, pp. 52-60, 2004, IEEE Computer Society, 0-7695-2151-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Herman Geuvers, Rob Nederpelt |
Rewriting for Fitch Style Natural Deductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings, pp. 134-154, 2004, Springer, 3-540-22153-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 302-316, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 12-14, 2003, Baltimore, Maryland, USA., pp. 243-252, 2003, ACM/SIAM, 0-89871-538-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
14 | Helmut Horacek |
Presenting Sets of Problem Solutions Concisely. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 239-253, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Duoqian Miao, Lishan Hou |
An Application of Rough Sets to Monk's Problems Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 138-145, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Tao Wang 0004, Xiaoming Li 0001 |
LilyTask: A Task-Oriented Parallel Computation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings, pp. 157-161, 2003, Springer, 3-540-20054-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 325, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Frutuoso G. M. Silva, Abel João Padrão Gomes |
AIF - A Data Structure for Polygonal Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III, pp. 478-487, 2003, Springer, 3-540-40156-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Charles Consel, Laurent Réveillère |
A Programmable Client-Server Model: Robust Extensibility via DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 70-79, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jens Hoefkens, Martin Berz |
Verification of Invertibility of Complicated Functions over Large Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 8(1), pp. 67-82, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Ann E. Kelley Sobel, Michael R. Clarkson |
Formal Methods Application: An Empirical Tale of Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(3), pp. 308-320, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 500-510, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 25-39, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|