Tag reading_group [45 articles] Export Sort

Recent papers classified by the tag reading_group.

Hide details

	Workflow Management : Models, Methods, and Systems (Cooperative Information Systems) [My Copy] (01 March 2004) by Wil Vanderaalst, Kees Vanhee posted to reading_group workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 19:42:00 as along with 3 people and 1 group mxro sryll sixtus Information Integration Architecture
	Temporal Logic Model Checking [My Copy] Handbook of Networked and Embedded Control Systems (2005), pp. 539-558. by Edmund Clarke, Ansgar Fehnker, Sumit K. Jha, Helmut Veith posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 19:39:36 as
	What good are digital clocks? [My Copy] Automata, Languages and Programming (1992), pp. 545-558. by Thomas Henzinger, Zohar Manna, Amir Pnueli posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 19:38:43 as
	Run-time analysis of time-critical systems [My Copy] Journal of Systems Architecture, Vol. 51, No. 5. (May 2005), pp. 331-345. by Shikun Zhou, Hussein Zedan, Antonio Cau posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:23:32 as
	On the Formal Semantics of Change Patterns in Process-Aware Information Systems [My Copy] Conceptual Modeling - ER 2008 (2008), pp. 279-293. by Stefanie Rinderle-Ma, Manfred Reichert, Barbara Weber posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:20:15 as
	Decompositional Petri Net Reductions [My Copy] Integrated Formal Methods (2009), pp. 352-366. by Astrid Rakow posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:19:36 as along with 1 person dwei98
	Abstraction and Modular Verification of Infinite-State Reactive Systems [My Copy] In Requirements Targeting Software and Systems Engineering (RTSE), LNCS (1998) by Zohar Manna, Michael A. Col'on, Bernd Finkbeiner, Henny B. Sipma, Tom'as E. Uribe posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 18:18:05 as
	Extending Model Checking to Data-Aware Temporal Properties of Web Services [My Copy] Web Services and Formal Methods (2008), pp. 31-45. by Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:57:02 as
	Runtime Monitoring of Message-Based Workflows with Data [My Copy] In EDOC '08: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference (2008), pp. 63-72. by Sylvain Halle, Roger Villemaire posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:52:50 as
	Compositional verification of real-time systems [My Copy] Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on In Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on (7 July 1994), pp. 458-465. by E. Chang, Z. Manna, A. Pnueli posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:52:11 as along with 1 person Lewisham
	Analyzing medical processes [My Copy] In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 623-632. by Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:50:12 as along with 1 person hwang
	A Case Study in Parallel Verification of Component-Based Systems [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 220, No. 2. (11 December 2008), pp. 67-83. by N. Benes, I. Cerna, J. Sochor, P. Varekova, B. Zimmerova posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:42:14 as
	Temporal reasoning about composite and/or periodic events [My Copy] Journal of Experimental & Theoretical Artificial Intelligence, Vol. 18, No. 1. (March 2006), pp. 87-115. by Paolo Terenziani, Luca Anselma posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:40:39 as along with 2 people fheintz georgeon
	First-Order and Temporal Logics for Nested Words [My Copy] In LICS '07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (2007), pp. 151-160. by Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:39:32 as
	Model checking agentspeak [My Copy] In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems (2003), pp. 409-416. by Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:36:46 as
	Specifying and Verifying Web Transactions [My Copy] Formal Techniques for Networked and Distributed Systems – FORTE 2008 (2008), pp. 149-168. by Jing Li, Huibiao Zhu, Jifeng He posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:35:01 as along with 2 people sunam hwang
	The Design of a Multicore Extension of the SPIN Model Checker [My Copy] IEEE Transactions on Software Engineering, Vol. 33, No. 10. (2007), pp. 659-674. by Gerard J. Holzmann, Dragan Bosnacki posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 16:26:43 as
	Precisiated natural language (PNL) [My Copy] AI Mag., Vol. 25, No. 3. (2004), pp. 74-91. by Lotfi A. Zadeh posted to reading_group by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-11 15:54:21 as along with 1 person Kenzie
	A Solution to Plato's Problem: The Latent Semantic Analysis Theory of Acquisition, Induction, and Representation of Knowledge [My Copy] Psychological Review, Vol. 104, No. 2. (April 1997), pp. 211-240. by Thomas K. Landauer, Susan T. Dumais posted to language reading_group text_comprehension by BrianNielsen on 2008-10-30 09:32:38 as along with 10 people and 1 group ifiokoye rhizome almadana cmunson mavrikis garyfeng qwermish krisjack hirachi cbogart ReadingLab
	Feature detection and letter identification. [My Copy] Vision research, Vol. 46, No. 28. (December 2006), pp. 4646-4674. by D. G. Pelli, C. W. Burns, B. Farell, D. C. Moore-Page posted to brain feature_detection letter_recognition reading_group word_recognition by BrianNielsen on 2008-10-29 13:35:55 as along with 1 person bernardjb
	The remarkable inefficiency of word recognition. [My Copy] Nature, Vol. 423, No. 6941. (12 June 2003), pp. 752-756. by D. G. Pelli, B. Farell, D. C. Moore posted to brain letter_recognition reading_group word_recognition by BrianNielsen on 2008-10-29 13:34:46 as along with 2 people and 1 group bernardjb garyfeng ReadingLab
	Selecting good expansion terms for pseudo-relevance feedback [My Copy] In SIGIR '08: Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval (2008), pp. 243-250. by Guihong Cao, Jian-Yun Nie, Jianfeng Gao, Stephen Robertson posted to classification expansion_terms language_models prospectus pseudo-relevance_feedback reading_group support_vector_machines by baaic on 2008-09-17 16:40:35 as along with 4 people and 1 group gbouma jykim ctl jhe ilps
	Agent-based workflow management systems (WfMSs) [My Copy] Information Systems and E-Business Management, Vol. 4, No. 1. (6 January 2006), pp. 5-23. by Lars Ehrler, Martin Fleurke, Maryam Purvis, Bastin Savarimuthu posted to reading_group by Kenzie to the group StFX Centre for Logic and Information on 2008-07-18 18:31:26 as
	Correctness-Preserving Configuration of Business Process Models [My Copy] Fundamental Approaches to Software Engineering (2008), pp. 46-61. by Wil van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur Ter Hofstede, Marcello La Rosa, Jan Mendling posted to reading_group by StFX_Logic on 2008-07-11 19:36:45 as along with 2 people maddogmiller hwang
	A model for abstract process specification, verification and composition [My Copy] In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing (2004), pp. 232-241. by Ziyang Duan, Arthur Bernstein, Philip Lewis, Shiyong Lu posted to reading_group by StFX_Logic on 2008-07-11 19:35:39 as
	Evaluation of a Multi-agent Based Workflow Management System Modeled Using Coloured Petri Nets [My Copy] Intelligent Agents and Multi-Agent Systems (2005), pp. 206-216. by Maryam Purvis, Bastin T. Savarimuthu, Martin Purvis posted to reading_group by StFX_Logic on 2008-07-11 19:05:09 as along with 1 person hwang
	A Theory of Reactive Components [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Vol. 160 (8 August 2006), pp. 173-195. by Jifeng He, Xiaoshan Li, Zhiming Liu posted to reading_group by StFX_Logic on 2008-07-11 19:03:58 as along with 1 person newdawn
	A Relational Model for Object-Oriented Designs [My Copy] Programming Languages and Systems (2004), pp. 415-436. by He Jifeng, Zhiming Liu, Xiaoshan Li, Shengchao Qin posted to reading_group by StFX_Logic on 2008-07-11 19:03:03 as
	Desires and Defaults: A Framework for Planning with Inferred Goals [My Copy] In KR2000: Principles of Knowledge Representation and Reasoning (2000), pp. 702-713. by Richmond H. Thomason edited by Anthony G. Cohn, Fausto Giunchiglia, Bart Selman posted to reading_group by StFX_Logic on 2008-07-11 19:00:55 as along with 1 person scis0000001
	Modular formal verification of specifications of concurrent systems [My Copy] Software Testing, Verification and Reliability, Vol. 18, No. 1. (2008), pp. 5-28. by Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria L. Villani posted to reading_group by StFX_Logic on 2008-07-11 18:58:36 as
	Using hit curves to compare search algorithm performance [My Copy] Journal of Biomedical Informatics, Vol. 40, No. 2. (April 2007), pp. 93-99. by Jorge R. Herskovic, Sriram M. Iyengar, Elmer V. Bernstam posted to evaluation hit_curves information_storage_and_retrieval precision ranking reading_group recall retrieval statistical_detection by baaic on 2008-04-24 23:44:15 as
	ProbFuse: a probabilistic approach to data fusion [My Copy] In SIGIR '06: Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval (2006), pp. 139-146. by David Lillis, Fergus Toolan, Rem Collier, John Dunnion posted to data_fusion information_retrieval information_search_and_retrieval reading_group by baaic on 2008-04-08 20:04:43 as along with 3 people and 1 group eab5173 jykim abellogin CIIR
	Context sensitive stemming for web search [My Copy] In SIGIR '07: Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval (2007), pp. 639-646. by Fuchun Peng, Nawaaz Ahmed, Xin Li, Yumao Lu posted to algorithms experimentation language_models query_formulation reading_group stemming web_search by baaic on 2008-03-28 05:12:36 as along with 2 people and 1 group jykim chrisd CIIR
	Comparing top k lists [My Copy] In SODA '03: Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms (2003), pp. 28-36. by Ronald Fagin, Ravi Kumar, D. Sivakumar posted to distance_measures kendalls_tau ranking reading_group spearmans_footrule top-k by baaic on 2008-03-03 19:34:08 as along with 2 people elsantosneto fmccown
	Cumulated gain-based evaluation of IR techniques [My Copy] ACM Trans. Inf. Syst., Vol. 20, No. 4. (October 2002), pp. 422-446. by Kalervo Järvelin, Jaana Kekäläinen posted to reading_group by baaic on 2007-12-07 14:33:06 as along with 11 people and 2 groups alexeigor dekrays dvallet brusilovsky suleehs mthomure macle jgronski codex abellogin ldietz NETS-UAM NETS
	LDA-based document models for ad-hoc retrieval [My Copy] In SIGIR '06: Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval (2006), pp. 178-185. by Xing Wei, Bruce W. Croft posted to reading_group by baaic on 2007-11-30 17:50:33 as along with 9 people and 1 group vlachmore codex zibuyu mshossain creswick lillejul mlease bailliem ejmeij L3S
	Recognising textual entailment with logical inference [My Copy] In HLT '05: Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing (2005), pp. 628-635. by Johan Bos, Katja Markert posted to reading_group by baaic on 2007-11-16 16:47:18 as
	Topic evolution and social interactions: how authors effect research [My Copy] In CIKM '06: Proceedings of the 15th ACM international conference on Information and knowledge management (2006), pp. 248-257. by Ding Zhou, Xiang Ji, Hongyuan Zha, Lee C. Giles posted to algorithms clustering experimentation human_factors information_systems_applications markov_chains reading_group social_network_analysis text_data_mining text_mining by baaic on 2007-09-20 21:40:10 as along with 6 people nliu82 ldietz somasanyal thijswesterveld suizan hudafarhan
	Coauthorship networks and patterns of scientific collaboration [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 101, No. Suppl 1. (6 April 2004), pp. 5200-5205. by M. E. J. Newman posted to collaboration networks reading_group by baaic on 2007-05-04 15:50:31 as along with 7 people nellapower daforerog cmmorel sgagnon hpiwowar fwkroon lmichan
	Bibliometric impact measures leveraging topic analysis [My Copy] In JCDL '06: Proceedings of the 6th ACM/IEEE-CS joint conference on Digital libraries (2006), pp. 65-74. by Gideon S. Mann, David Mimno, Andrew Mccallum posted to clustering digital_libraries reading_group by baaic on 2007-04-27 16:18:47 as along with 4 people and 1 group krisl bigbossman xiaoyan2006 mshafiei VT_DLRL
	Thumbs up? Sentiment Classification using Machine Learning Techniques [My Copy] In Conference on Empirical Methods in Natural Language Processing (28 May 2002) by Bo Pang, Lillian Lee, Shivakumar Vaithyanathan posted to document_classification movie_reviews reading_group sentiment sentiment_classification by baaic on 2007-04-13 13:32:36 as along with 1 person jelsas
	A study of smoothing methods for language models applied to Ad Hoc information retrieval [My Copy] In SIGIR '01: Proceedings of the 24th annual international ACM SIGIR conference on Research and development in information retrieval (2001), pp. 334-342. by Chengxiang Zhai, John Lafferty posted to dirichlet language_models reading_group smoothing by baaic on 2007-03-30 16:11:14 as along with 7 people and 3 groups borkurdotnet zibuyu hongliangjie macle katja vitalaswp4 abellogin social_navigation ilps ahat
	Information retrieval: A survey [My Copy] (2001) by E. Greengrass posted to reading_group ir information_retrieval book by baaic on 2007-02-01 23:05:41 as along with 2 people pdlug Carol_Perryman
	Exploring the similarity space [My Copy] SIGIR Forum, Vol. 32, No. 1. (1998), pp. 18-34. by Justin Zobel, Alistair Moffat posted to similarity_measures similarity reading_group ranked_queries query_processing by baaic on 2007-01-31 04:41:35 as along with 2 people and 1 group bemike elsantosneto CIIR
	Personalized recommendation driven by information flow [My Copy] In SIGIR '06: Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval (2006), pp. 509-516. by Xiaodan Song, Belle L. Tseng, Ching-Yung Lin, Ming-Ting Sun posted to algorithms collaborative_filtering experimentation information_flow reading_group recommenders temporal by baaic on 2006-12-12 04:41:09 as along with 8 people and 3 groups JamesChien creswick brusilovsky nmaisonneuve suleehs koles vmircevski cpcreed CMU-HCII social_navigation Adaptive-Web

Note: You may cite this page as: http://www.citeulike.org/tag/reading_group

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

algorithms	3
experimentation	3
language_models	3
brain	2
clustering	2
information_retrieval	2
letter_recognition	2
ranking	2
word_recognition	2
book	1
classification	1
collaboration	1
collaborative_filtering	1
data_fusion	1
digital_libraries	1
dirichlet	1
distance_measures	1
document_classification	1
evaluation	1
expansion_terms	1
feature_detection	1
hit_curves	1
human_factors	1
information_flow	1
information_search_and_retrieval	1
information_storage_and_retrieval	1
information_systems_applications	1
ir	1
kendalls_tau	1
language	1
markov_chains	1
movie_reviews	1
networks	1
precision	1
prospectus	1
pseudo-relevance_feedback	1
query_formulation	1
query_processing	1
ranked_queries	1
recall	1
recommenders	1
retrieval	1
sentiment	1
sentiment_classification	1
similarity	1
similarity_measures	1
smoothing	1
social_network_analysis	1
spearmans_footrule	1
statistical_detection	1
stemming	1
support_vector_machines	1
temporal	1
text_comprehension	1
text_data_mining	1
text_mining	1
top-k	1
web_search	1
workflow	1

Tag reading_group [45 articles] Export Sort

Related Tags