The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for past with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1953-1965 (15) 1967-1971 (17) 1972-1973 (15) 1974 (16) 1975 (15) 1976-1977 (16) 1978 (17) 1979-1980 (24) 1981-1982 (21) 1983-1984 (36) 1985 (23) 1986 (18) 1987 (53) 1988 (52) 1989 (46) 1990 (56) 1991 (39) 1992 (52) 1993 (60) 1994 (88) 1995 (113) 1996 (136) 1997 (155) 1998 (336) 1999 (259) 2000 (360) 2001 (383) 2002 (492) 2003 (609) 2004 (820) 2005 (1007) 2006 (1132) 2007 (1222) 2008 (1652) 2009 (900) 2010 (261) 2011 (163) 2012 (380) 2013 (156) 2014 (166) 2015 (169) 2016 (269) 2017 (173) 2018 (223) 2019 (218) 2020 (230) 2021 (305) 2022 (281) 2023 (278) 2024 (53)
Publication types (Num. hits)
article(3736) book(11) incollection(142) inproceedings(9657) phdthesis(26) proceedings(8)
Venues (Conferences, Journals, ...)
AMCIS(420) CoRR(290) ASIST(211) HICSS(162) ESM(151) Proc. IEEE(148) UD(89) CHI Extended Abstracts(78) SIGUCCS(75) Remote. Sens.(73) Computer(64) IPDPS(63) SIGCSE(63) WSC(61) SIGMOD Conference(57) AFIPS National Computer Confer...(54) More (+10 of total 3147)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10535 occurrences of 5246 keywords

Results
Found 13581 publication records. Showing 13580 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
81Adam Jatowt, Yukiko Kawai, Satoshi Nakamura 0002, Yutaka Kidawara, Katsumi Tanaka Journey to the past: proposal of a framework for past web browser. Search on Bibsonomy Hypertext The full citation details ... 2006 DBLP  DOI  BibTeX  RDF past web, past web browser, web archive
51Mikko Apiola, Sonsoles López-Pernas, Mohammed Saqr, Lauri Malmi, Mats Daniels Exploring the Past, Present and Future of Computing Education Research: An Introduction. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
51Michaela Ochs, Tobias Hirmer, Katherina Past, Andreas Henrich Design-Focused Development of a Course Recommender System for Digital Study Planning. Search on Bibsonomy ADBIS (Short Papers) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
44David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001 Mining past-time temporal rules from execution traces. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF past-time temporal rules, data mining, dynamic analysis, specification mining
41Boon Toh Low, H. C. Lui, Ah-Hwee Tan, H. H. Teh Connectionist Expert System with Adaptive Learning Capability. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF adaptive learning capability, neural network expert system, adaptive connectionist expert system, past experience, neural logic network, pattern processing, logical inferencing, pattern matching ACES, rule inferencing ACES, past examples, neural logic network, pattern recognition, expert systems, adaptive systems, neural nets, inference mechanisms
41Mats Daniels, Lauri Malmi, Arnold Pears, Simon What is Computing Education Research (CER)? Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Mikko Apiola, Mohammed Saqr, Sonsoles López-Pernas The Hands that Made Computing Education Research: Top Authors, Networks, Collaboration and Newcomers. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Simon, Judy Sheard, Andrew Luxton-Reilly, Claudia Szabo Computing Education Research in Australasia. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Mikko Apiola, Mohammed Saqr, Sonsoles López-Pernas The Evolving Themes of Computing Education Research: Trends, Topic Models, and Emerging Research. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Mats Daniels, Anders Berglund, Arnold Pears A Case Study: The Uppsala Computing Education Research Group (UpCERG). Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Sonsoles López-Pernas, Mohammed Saqr, Mikko Apiola Scientometrics: A Concise Introduction and a Detailed Methodology for Mapping the Scientific Field of Computing Education Research. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Lauri Malmi, Arto Hellas, Petri Ihantola, Ville Isomöttönen, Ilkka Jormanainen, Terhi Kilamo, Antti Knutas, Ari Korhonen, Mikko-Jussi Laakso, Sonsoles López-Pernas, Timo Poranen, Tapio Salakoski, Jarkko Suhonen Computing Education Research in Finland. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Lauri Malmi, Jane E. Sinclair, Judy Sheard, Simon, Päivi Kinnunen The Evolution of Computing Education Research: A Meta-Analytic Perspective. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Arnold Pears, Mats Daniels, Anders Berglund Theory and Approaches to Computing Education Research. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Michal Armoni, Judith Gal-Ezer Computer Science Education Research in Israel. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Friday Joseph Agbo, Maria N. Ntinda, Sonsoles López-Pernas, Mohammed Saqr, Mikko Apiola Computing Education Research in the Global South. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Robert McCartney, Kate Sanders 0001 ITiCSE Working Groups as an Engine for Community-Building. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Brett A. Becker, Steven Bradley, Joseph Maguire 0001, Michaela Black, Tom Crick, Mohammed Saqr, Sue Sentance, Keith Quille Computing Education Research in the UK & Ireland. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Maria N. Ntinda, Mikko Apiola, Erkki Sutinen Future Technology Lab: A Plug-in Campus as an Agent of Change for Computing Education Research in the Global South. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Mikko Apiola, Sonsoles López-Pernas, Mohammed Saqr The Venues that Shaped Computing Education Research: Dissemination Under the Lens. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Luis Morales-Navarro, Yasmin B. Kafai Conceptualizing Approaches to Critical Computing Education: Inquiry, Design, and Reimagination. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Mohammed Saqr, Sonsoles López-Pernas, Mikko Apiola Capturing the Impact and the Chatter Around Computing Education Research Beyond Academia in Social Media, Patents, and Blogs. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Valentina Dagiene, Mart Laanpere, Juris Borzovs Computing Education Research in Baltic Countries. Search on Bibsonomy Past, Present and Future of Computing Education Research The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
41Mei-Chun Wu, Feng-Yang Kuo An empirical investigation of habitual usage and past usage on technology acceptance evaluations and continuance intention. Search on Bibsonomy Data Base The full citation details ... 2008 DBLP  DOI  BibTeX  RDF habit, habitual usage, past usage, self-perception, technology acceptance model, automaticity
41Adam Jatowt, Yukiko Kawai, Satoshi Nakamura 0002, Yutaka Kidawara, Katsumi Tanaka A browser for browsing the past web. Search on Bibsonomy WWW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF past web, web archive browsing, web archives
41Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila Simple Is Better: Efficient Bounded Model Checking for Past LTL. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Past LTL, Bounded Model Checking, NuSMV
37Suleyman Cetintas, Luo Si, Hao Yuan Learning from past queries for resource selection. Search on Bibsonomy CIKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF past queries, resource selection, federated search
37Germán Jairo Hernández, Kenneth Wilder, Fernando Niño, Julian Garcia Towards a self-stopping evolutionary algorithm using coupling from the past. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF coupling from the past, optimization, algorithms, evolutionary, stopping criteria
37Nicolas Markey Past is for free: on the complexity of verifying linear temporal properties with past. Search on Bibsonomy Acta Informatica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Dariusz Król 0001, Krzysztof Litwin Present Meets Past: Analysis of Internet Archive Quality. Search on Bibsonomy IEA/AIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF past web pages, data quality, Web archive, Internet Archive
34Kunihiro Nishimura, Michitaka Hirose The Study of Past Working History Visualization for Supporting Trial and Error Approach in Data Mining. Search on Bibsonomy HCI (8) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Past Working History, Information Visualization, Web Visualization
34Volker Weber On the Complexity of Branching-Time Logics. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF complexity of satisfiability, pebble automata, alternating tree automata, forgettable past, CTL, branching-time logic
34Sumiyo Nishiguchi Covert Emotive Modality Is a Monster. Search on Bibsonomy JSAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF monster, fake past, fake present, wide scope also, attitude
33Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer Past Pushdown Timed Automata. Search on Bibsonomy CIAA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Konstantinos Psounis, Balaji Prabhakar Efficient randomized web-cache replacement schemes using samples from past eviction times. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF cache replacement scheme, past samples, World Wide Web (WWW), randomized algorithm, web caching
30Peter Druschel, Antony I. T. Rowstron PAST: A large-scale, persistent peer-to-peer storage utility. Search on Bibsonomy HotOS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Adam Jatowt, Yukiko Kawai, Katsumi Tanaka Visualizing historical content of web pages. Search on Bibsonomy WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF history summarization, page history visualization, past web, web archive
27Ivana Mikic, Kohsia S. Huang, Mohan M. Trivedi Activity Monitoring and Summarization for an Intelligent Meeting Room. Search on Bibsonomy Workshop on Human Motion The full citation details ... 2000 DBLP  DOI  BibTeX  RDF microphones, intelligent meeting room, multimodal sensor network, static cameras, interesting events, multi-person interactions, past-event reviews, active network control procedures, real-time system, summarization, active vision, cameras, arrays, intelligent environments, office automation, activity monitoring, microphone arrays, system specifications, integration framework, computerised monitoring, image processing equipment, office environment, active cameras
27Zhong Su, HongJiang Zhang, Shaoping Ma Using Bayesian classifier in relevant feedback of image retrieval. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF positive feedback examples, negative feedback examples, query space distribution, dibbling process, image penalization, retrieval refinement process, progressive learning capability, past feedback information, image retrieval, relevance feedback, relevance feedback, content-based image retrieval, image classification, content-based retrieval, Bayes methods, Bayesian classifier, query refinement
27Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli A Decision Algorithm for Full Propositional Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification
27Shing-Chow Chan, Yu Wen, Ka-Leung Ho A robust past algorithm for subspace tracking in impulsive noise. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Keita Goto, Noriko Hanakawa, Hajimu Iida Project Replayer - An Investigation Tool to Revisit Processes of Past Projects. Search on Bibsonomy SPW/ProSim The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Brad A. Myers, Scott E. Hudson, Randy F. Pausch Past, present, and future of user interface software tools. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF event languages, toolkits, scripting languages, user interface software, interface builders, user interface development environments
24François Bry, Tim Furche, Klara A. Weiand Web Queries: From a Web of Data to a Semantic Web. Search on Bibsonomy WISE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF based query languages, we give a summary of what we perceive as the main contributions of research and development on Web query languages in the past decade, This summary focuses specifically on what sets Web query languages apart from their predecessors for databases
24Vijay Nagarajan, Rajiv Gupta 0001 ECMon: exposing cache events for monitoring. Search on Bibsonomy ISCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cache events, recording for replay, speculation past barriers
24Jean-Michel Fourneau, Imène Kadi, Nihal Pekergin, Jérôme Vienne, Jean-Marc Vincent Perfect simulation and monotone stochastic bounds. Search on Bibsonomy VALUETOOLS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF coupling from the past, monotone Markov chains, stochastic bounds, perfect simulation
24Christian McCrea Then, suddenly, I was moved: nostalgia and the media history of games. Search on Bibsonomy IE The full citation details ... 2007 DBLP  BibTeX  RDF Crary, Kittler, Rosen, arcades, materiality, transmedia, past, pastness
24J. Unji Yamaguchi Some reflections on IT. Search on Bibsonomy Workshop on Universal Accessibility of Ubiquitous Computing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF learn from the past, multicultural-multilingual, multimedia triad reference system, sense of reality, universal accessibility
23Katerina Raptopoulou, Michael Vassilakopoulos, Yannis Manolopoulos Efficient processing of past-future spatiotemporal queries. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF spatiotemporal databases / queries, moving objects
23Antony I. T. Rowstron, Peter Druschel Storage Management and Caching in PAST, A Large-scale, Persistent Peer-to-peer Storage Utility. Search on Bibsonomy SOSP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Mark Reynolds 0001 More Past Glories. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic, automata, axiomatizations
23Matthew Canton The presence table: a reactive surface for ambient connection. Search on Bibsonomy TEI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Yaoyao Liu 0001, Yingying Li, Bernt Schiele, Qianru Sun Wakening Past Concepts without Past Data: Class-Incremental Learning from Online Placebos. Search on Bibsonomy WACV The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Yaoyao Liu 0001, Yingying Li, Bernt Schiele, Qianru Sun Wakening Past Concepts without Past Data: Class-Incremental Learning from Online Placebos. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Irem Atilgan, H. Irem Türkmen, M. Amaç Güvensan Towards Accurate Traffic Accident Detection: Developing Deep Learning Strategies with Distant Past, Recent Past, and Adjacency Features. Search on Bibsonomy ITSC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Elena Marx, Eva Wittenberg Event structure predicts temporal interpretation of English and German past-under-past relative clauses. Search on Bibsonomy CogSci The full citation details ... 2022 DBLP  BibTeX  RDF
21Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. Search on Bibsonomy TIME The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Sue Cranmer, Cathy Lewin Developing Inclusive Digital Pedagogies: Reflections on the Past, the Present and Future Directions. Search on Bibsonomy OCCE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Mabel C. Chou, Chee-Khian Sim, Xue-Ming Yuan Policies for inventory models with product returns forecast from past demands and past sales. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Krzysztof Sterenczak, Rafal Zaplata, Jaroslaw Wójcik, Bartlomiej Kraszewski, Milosz Mielcarek, Krzysztof Mitelsztedt, Malgorzata Bialczak, Grzegorz Krok, Lukasz Kuberski, Anna Markiewicz, Aneta Modzelewska, Karolina Parkitna, Zaneta Piasecka, Kamil Pilch, Karol Rzeczycki, Rafal Sadkowski, Martyna Wietecha, Piotr Rysiak, Klaus von Gadow, Chris J. Cieszewski ALS-Based Detection of Past Human Activities in the Białowieża Forest - New Evidence of Unknown Remains of Past Agricultural Systems. Search on Bibsonomy Remote. Sens. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Ruth Lee, Christoph Hoerl, Patrick Burns, Alison S. Fernandes, Patrick A. O'Connor, Teresa McCormack Pain in the Past and Pleasure in the Future: The Development of Past-Future Preferences for Hedonic Goods. Search on Bibsonomy Cogn. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Shivangi Narayan Past, present, and past as present in India's predictive policing. Search on Bibsonomy XRDS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Kenneth Thibodeau The Construction of the Past: Towards a Theory for Knowing the Past. Search on Bibsonomy Inf. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Eoin Woods The past, present and future of technical debt: learning from the past to prepare for the future. Search on Bibsonomy TechDebt@ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Leandro L. Minku, Xin Yao 0001 Which models of the past are relevant to the present? A software effort estimation approach to exploiting useful past models. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Alfonso Ippolito, Cristiana Bartolomei, Martina Attenni The past is never dead. It's not even past. 3D models for the knowledge of cultural heritage. Search on Bibsonomy VSMM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Feng Li, Yan Chen 0019, Zhoujun Li 0001 Learning from the past: Improving news summarization with past news articles. Search on Bibsonomy IALP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Dan Olteanu Factorized Databases: Past and Future Past. Search on Bibsonomy AMW The full citation details ... 2015 DBLP  BibTeX  RDF
21Iske Bakker, Lucy J. MacGregor, Friedemann Pulvermüller, Yury Shtyrov Past tense in the brain's time: Neurophysiological evidence for dual-route processing of past-tense verbs. Search on Bibsonomy NeuroImage The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21H. Joel Trusell Overview for Reflections and Reviews of Past Predictions [Reflections and Reviews of Past Predictions]. Search on Bibsonomy Proc. IEEE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21James E. Brittain Scanning My Past: Some Personal Reflections Stimulated by the Proceedings Centennial [Scanning the Past]. Search on Bibsonomy Proc. IEEE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Anna Shtok, Gideon Dror, Yoelle Maarek, Idan Szpektor Learning from the past: answering new questions with past answers. Search on Bibsonomy WWW The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Ashley M. Clark, Steven W. Holloway 'The Past Is Never Dead. It's Not Even Past': The Challenge of Data Provenance in the e-Humanities. Search on Bibsonomy DH The full citation details ... 2012 DBLP  BibTeX  RDF
21Shona Leitch, Matthew J. Warren ETHICS: The Past, Present and Future of Socio-Technical Systems Design. Search on Bibsonomy HC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Matthew Swinarski, Eric Jackson, Rajiv Kishore Conceptualization and Measurement of the Capability Maturity Model (CMM): An Examination of Past Practices and Suggestions for Future Applications. Search on Bibsonomy AMCIS The full citation details ... 2008 DBLP  BibTeX  RDF
21Peter Meso Learning from the Past & Charting the Future of IS Research on Africa: Reflections on Information Systems Research on Africa within Western Information Systems Journals. Search on Bibsonomy AMCIS The full citation details ... 2008 DBLP  BibTeX  RDF
21Lene Koch Past Futures: On the Conceptual History of Eugenics - a Social Technology of the Past. Search on Bibsonomy Technol. Anal. Strateg. Manag. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Alankar Karol, Mary-Anne Williams, Steve Elliot The Evolution of IS: Treasury Decision Support & Management Past, Present & Future. Search on Bibsonomy IFIP TC8 WCC ISS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Nicolas Markey Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. Search on Bibsonomy EXPRESS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Patrick H. Winston President's Panel: Past Present and Future Presidents Look at the Past Present and Future. Search on Bibsonomy AAAI The full citation details ... 1986 DBLP  BibTeX  RDF
21Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu A New Temporal Logic CTL[k-QDDC] and Its Verification. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF branching past, model checking, quantitative
21Adam Jatowt, Yukiko Kawai, Hiroaki Ohshima, Katsumi Tanaka What can history tell us?: towards different models of interaction with document histories. Search on Bibsonomy Hypertext The full citation details ... 2008 DBLP  DOI  BibTeX  RDF document history, past web, versioning, archiving, time travel
21Duncan J. Murdoch, Glen Takahara Perfect sampling for queues and network models. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Coupling from the past, networks, queues, perfect simulation
21Jürgen Dingel, Hongzhi Liang Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring
21Anne Philippe, Christian P. Robert Perfect simulation of positive Gaussian distributions. Search on Bibsonomy Stat. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF coupling from the past, slice sampling, stochastic monotonicity, accept reject
21Falk Scholer, Hugh E. Williams Query association for effective retrieval. Search on Bibsonomy CIKM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF past queries, query association, web search, summarisation, relevance assessment
20Frédéric Pluquet, Stefan Langerman, Roel Wuyts Executing code in the past: efficient in-memory object graph versioning. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF object-oriented programming, language design, object versioning
20Elizabeth K. Hawthorne Visions of a future ... without forgetting the past. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ACM
20Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bi-infinite time, satisfiability checking, temporal logic, bounded model checking
20Abigail Sellen, Andrew Fogg, Mike Aitken, Steve Hodges 0001, Carsten Rother, Kenneth R. Wood Do life-logging technologies support memory for the past?: an experimental study using sensecam. Search on Bibsonomy CHI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF episodic or autobiographical memory, personal digital archives, images, life-logging, capture, SenseCam
20Jun-Seok Lim, Joonil Song, Yonggook Pyeon A Prewhitening RLS Projection Alternated Subspace Tracking (PAST) Algorithm. Search on Bibsonomy ISNN (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Ashish Gehani, Surendar Chandra PAST: Probabilistic Authentication of Sensor Timestamps. Search on Bibsonomy ACSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Mouna Saad, Leila Jemni Ben Ayed Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Paul Gastin, Madhavan Mukund, K. Narayan Kumar Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
20Marco Benedetti, Alessandro Cimatti Bounded Model Checking for Past LTL. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
20Ioannis Stamelos, Ioannis Refanidis Decision Making Based on Past Problem Cases. Search on Bibsonomy SETN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Barry W. Boehm A view of 20th and 21st century software engineering. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software futures, software history, software engineering
17Christian Dax, Felix Klaedtke, Martin Lange On Regular Temporal Logics with Past, . Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17André Ludwig, Marek Kowalkiewicz Supporting Service Level Agreement Creation with Past Service Behavior Data. Search on Bibsonomy BIS (Workshops) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Dynamic Service Profiling, Service behavior, Service Level Agreement, Contracting
17Zhengbin Dong, Wenjie Wu, Xiujun Ma, Kunqing Xie, Fengjun Jin Mining the Structure and Evolution of the Airport Network of China over the Past Twenty Years. Search on Bibsonomy ADMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Airport Network of China, ANC, betweeness centrality, network structure, network diameter, degree distribution, network evolution, clustering coefficient
Displaying result #1 - #100 of 13580 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license