Search results for "Lucid"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Joey Paquet, Serguei A. Mokhov, Xin Tong 0002	Design and Implementation of Context Calculus in the GIPSY Environment.	COMPSAC	2008	DBLP DOI BibTeX RDF	Context-driven computation, Context calculus, Intensional programming
115	John Plaice, Blanca Mancilla, Gabriel Ditu	From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	multidimensional programming, Lucid programming language, Declarative programming
108	Janice I. Glasgow, Glenn H. MacEwen	The Development and Proof of a Formal Specification for a Multilevel Secure System.	ACM Trans. Comput. Syst.	1987	DBLP DOI BibTeX RDF	SNet, LUCID
92	Vasu S. Alagar, Joey Paquet, Kaiyu Wan	Intensional Programming for Agent Communication.	DALT	2004	DBLP DOI BibTeX RDF	KQML performatives, Context, Agent Communication Language, FIPA, Intensional Programming, Lucid
82	David B. Skillicorn, Janice I. Glasgow	Real-Time Specification Using Lucid.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	external requirements, meaning-preserving transformations, behavioral semantics, architectural constraints, real-time systems, real-time systems, formal specification, execution time, proof system, functional specification, real-time properties, Lucid
66	Weichang Du, William W. Wadge	An intentional language as the basis of a 3-D spreadsheet design.	ICCL	1988	DBLP DOI BibTeX RDF
66	Daniel Wigdor, Clifton Forlines, Patrick Baudisch, John Barnwell, Chia Shen	Lucid touch: a see-through mobile device.	UIST	2007	DBLP DOI BibTeX RDF	direct touch, lucid touch, portable multi-touch, pseudo-transparency, transparent devices, augmented reality, multi-touch, bimanual input
66	Antony A. Faustini, William W. Wadge	An eductive interpreter for Lucid.	PLDI	1987	DBLP DOI BibTeX RDF	LUCID
56	Dominic A. Orchard, Steve Matthews	Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	intensional objects, Semantics, interoperation, object orientation, dataflow, intensional programming
56	John Plaice	Multidimensional Lucid: Design, Semantics and Implementation.	DCW	2000	DBLP DOI BibTeX RDF
56	Edward A. Ashcroft, William W. Wadge	Clauses: Scope Structures and Defined Functions in Lucid.	POPL	1978	DBLP DOI BibTeX RDF
49	Qiang Wang	A Portable Implementation Method of Lucid with Message Passing.	ACM Conference on Computer Science	1994	DBLP DOI BibTeX RDF	Modula-2, LUCID
47	Alexandra Kitson, Reese Muntean, Steve DiPaola, Bernhard E. Riecke	Lucid Loop: Exploring the Parallels between Immersive Experiences and Lucid Dreaming.	Conference on Designing Interactive Systems	2022	DBLP DOI BibTeX RDF
47	Alexandra Kitson, Steve DiPaola, Bernhard E. Riecke	Lucid Loop: A Virtual Deep Learning Biofeedback System for Lucid Dreaming Practice.	CHI Extended Abstracts	2019	DBLP DOI BibTeX RDF
47	Joey Paquet, Serguei A. Mokhov	Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing.	CoRR	2011	DBLP BibTeX RDF
47	Laura M. Keating, Lea Randall, Rebecca Stanton, Casey McCormack, Michael Lucid, Travis Seaborn, Sarah J. Converse, Stefano Canessa, Axel Moehrenschlager	Using Decision Analysis to Determine the Feasibility of a Conservation Translocation.	Decis. Anal.	2023	DBLP DOI BibTeX RDF
47	Elaine Froehlich, Brian Lucid, Heather Shaw	The Language of Motion: A Taxonomy for Interface.	HCI (4)	2013	DBLP DOI BibTeX RDF
42	Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi	Towards a self-forensics property in the ASSL toolset.	C3S2E	2010	DBLP DOI BibTeX RDF	ASSL, JOOIP, forensic lucid, self-forensics, autonomic computing, GIPSY, forensic computing
42	Philip G. Emma	Supercharging Your Creative Skills.	IEEE Micro	2007	DBLP DOI BibTeX RDF	lucid dreaming, image streaming, brain waves, hypnogogic state, innovation, invention
40	Sasha Jevtic, Mathew Kotowsky, Robert P. Dick, Peter A. Dinda, Charles Dowding	Lucid dreaming: reliable analog event detection for energy-constrained applications.	IPSN	2007	DBLP DOI BibTeX RDF	sensor networks, power consumption, event detection, sensing
40	Elvis S. Liu, Milo K. Yip, Gino Yu	Lucid platform: applying HLA DDM to multiplayer online game middleware.	Comput. Entertain.	2006	DBLP DOI BibTeX RDF	middleware, Computer games, collaborative virtual environments, high-level architecture, interest management, data distribution management
40	Kaiyu Wan, Vasu S. Alagar, Joey Paquet	Real Time Reactive Programming in Lucid Enriched with Contexts.	ICTAC	2004	DBLP DOI BibTeX RDF	Real-time reactive programming, contexts, formal verification, intensional programming
33	Joey Paquet	Distributed Eductive Execution of Hybrid Intensional Programs.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
33	Robyn Taylor, Pierre Boulanger, Patrick Olivier	Creating dream.Medusa to Encourage Dialogue in Performance.	Smart Graphics	2009	DBLP DOI BibTeX RDF
23	Joe Stacey, Jianpeng Cheng 0002, John Torr, Tristan Guigue, Joris Driesen, Alexandru Coca, Mark Gaynor, Anders Johannsen	LUCID: LLM-Generated Utterances for Complex and Interesting Dialogues.	CoRR	2024	DBLP DOI BibTeX RDF
23	Majid Farhadloo, Arun Sharma, Jayant Gupta, Alexey A. Leontovich, Svetomir N. Markovic, Shashi Shekhar	Towards Spatially-Lucid AI Classification in Non-Euclidean Space: An Application for MxIF Oncology Data.	CoRR	2024	DBLP DOI BibTeX RDF
23	Zhe-chen Guo, Rajka Smiljanic	Speakers coarticulate less in response to both real and imagined communicative challenges: An acoustic analysis of the LUCID corpus.	J. Phonetics	2023	DBLP DOI BibTeX RDF
23	Andres Algaba, Carmen Mazijn, Carina Prunkl, Jan Danckaert, Vincent Ginis	LUCID-GAN: Conditional Generative Models to Locate Unfairness.	CoRR	2023	DBLP DOI BibTeX RDF
23	Tatiana Passali, Efstathios Chatzikyriakidis, Stelios Andreadis, Thanos G. Stavropoulos, Anastasia Matonaki, Anestis Fachantidis, Grigorios Tsoumakas	From Lengthy to Lucid: A Systematic Literature Review on NLP Techniques for Taming Long Sentences.	CoRR	2023	DBLP DOI BibTeX RDF
23	Carmen Mazijn, Carina Prunkl, Andres Algaba, Jan Danckaert, Vincent Ginis	LUCID: Exposing Algorithmic Bias through Inverse Design.	AAAI	2023	DBLP DOI BibTeX RDF
23	Andres Algaba, Carmen Mazijn, Carina Prunkl, Jan Danckaert, Vincent Ginis	LUCID-GAN: Conditional Generative Models to Locate Unfairness.	xAI (3)	2023	DBLP DOI BibTeX RDF
23	Qinghao Hu, Meng Zhang, Peng Sun 0006, Yonggang Wen 0001, Tianwei Zhang 0004	Lucid: A Non-intrusive, Scalable and Interpretable Scheduler for Deep Learning Training Jobs.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
23	Yunshu Du, Garrett Warnell, Assefaw H. Gebremedhin, Peter Stone, Matthew E. Taylor	Lucid dreaming for experience replay: refreshing past states with the current policy.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
23	Omar Alaqeeli, William Wadge	An Interactive Interpreter for Two Dimensional Lucid.	IEEE Access	2022	DBLP DOI BibTeX RDF
23	Carmen Mazijn, Carina Prunkl, Andres Algaba, Jan Danckaert, Vincent Ginis	LUCID: Exposing Algorithmic Bias through Inverse Design.	CoRR	2022	DBLP DOI BibTeX RDF
23	Indika S. A. Dhanapala, Ramona Marfievici, Dirk Pesch	LUCID: Receiver-aware Model-based Data Communication for Low-power Wireless Networks.	CoRR	2021	DBLP BibTeX RDF
23	John Sonchack, Devon Loehr, Jennifer Rexford, David Walker 0001	Lucid: A Language for Control in the Data Plane.	CoRR	2021	DBLP BibTeX RDF
23	Zhe-chen Guo, Rajka Smiljanic	Speakers Coarticulate Less When Facing Real and Imagined Communicative Difficulties: An Analysis of Read and Spontaneous Speech from the LUCID Corpus.	Interspeech	2021	DBLP DOI BibTeX RDF
23	John Sonchack, Devon Loehr, Jennifer Rexford, David Walker 0001	Lucid: a language for control in the data plane.	SIGCOMM	2021	DBLP DOI BibTeX RDF
23	Utkarsh Maheshwari, Venkata Pavan Kumar Turlapati, Usha Kiruthika	Lucid-GAN: An Adversarial Network for Enhanced Image Inpainting.	CIVEMSA	2021	DBLP DOI BibTeX RDF
23	Hebi Li, Youbiao He, Qi Xiao, Jin Tian 0001, Forrest Sheng Bao	BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs.	DAC	2021	DBLP DOI BibTeX RDF
23	Chaojing Li, Sicong Zheng, Xueni Pan	Using Eye Gaze for Navigation: A User Study Inspired by Lucid Dreams.	VR Workshops	2021	DBLP DOI BibTeX RDF
23	Roberto Doriguzzi Corin, Stuart Millar, Sandra Scott-Hayward, Jesús Martínez del Rincón, Domenico Siracusa	Lucid: A Practical, Lightweight Deep Learning Solution for DDoS Attack Detection.	IEEE Trans. Netw. Serv. Manag.	2020	DBLP DOI BibTeX RDF
23	Cheng Peng, Jun Wang, Isaac Asante, Stan Louie, Ran Jin, Lida Chatzi, Graham Casey, Duncan C. Thomas, David V. Conti	A latent unknown clustering integrating multi-omics data (LUCID) with phenotypic traits.	Bioinform.	2020	DBLP DOI BibTeX RDF
23	Ahmed Almutairi, Behzad Shoarian Satari, Carlos Rivas, Cristian Florin Stanciu, Mozhdeh Yamani, Zahra Zohoorsaadat, Serguei A. Mokhov	Evaluation of Autopsy and Volatility for Cybercrime Investigation: A Forensic Lucid Case Study.	Int. J. Digit. Crime Forensics	2020	DBLP DOI BibTeX RDF
23	Yunshu Du, Garrett Warnell, Assefaw Hadish Gebremedhin, Peter Stone, Matthew E. Taylor	Lucid Dreaming for Experience Replay: Refreshing Past States with the Current Policy.	CoRR	2020	DBLP BibTeX RDF
23	Roberto Doriguzzi Corin, Stuart Millar, Sandra Scott-Hayward, Jesús Martínez del Rincón, Domenico Siracusa	LUCID: A Practical, Lightweight Deep Learning Solution for DDoS Attack Detection.	CoRR	2020	DBLP BibTeX RDF
23	Peyman Derafshkavian, Simon Huneault-LeBlanc, Sacha Renault-Crispo, Akansha Marwaha, Serguei A. Mokhov, Joey Paquet	Toward Scalable Demand-Driven JSON-to-Forensic Lucid Encoder in GIPSY.	ISNCC	2020	DBLP DOI BibTeX RDF
23	Arijit Ray, Giedrius Burachas, Yi Yao, Ajay Divakaran	Lucid Explanations Help: Using a Human-AI Image-Guessing Game to Evaluate Machine Explanation Helpfulness.	CoRR	2019	DBLP BibTeX RDF
23	Morgane Hamon, Emma Chabani, Philippe Giraudeau	Towards a Passive BCI to Induce Lucid Dream.	CoRR	2019	DBLP BibTeX RDF
23	David Mott, Richard Tomsett	Illuminated Decision Trees with Lucid.	CoRR	2019	DBLP BibTeX RDF
23	Valentina Nisi, Mara Sofia Dionisio, Paulo Bala, Tom Gross, Time's Up, Nuno Jardim Nunes	Lucid Peninsula, a Physical Narrative Art Installation Comprising Interactive 360° Virtual Reality Components.	Int. J. Creative Interfaces Comput. Graph.	2019	DBLP DOI BibTeX RDF
23	Anna Khoreva, Rodrigo Benenson, Eddy Ilg, Thomas Brox, Bernt Schiele	Lucid Data Dreaming for Video Object Segmentation.	Int. J. Comput. Vis.	2019	DBLP DOI BibTeX RDF
23	Arijit Ray, Yi Yao, Rakesh Kumar 0001, Ajay Divakaran, Giedrius Burachas	Can You Explain That? Lucid Explanations Help Human-AI Collaborative Image Retrieval.	HCOMP	2019	DBLP DOI BibTeX RDF
23	Rundong Tian	Lucid Fabrication.	UIST (Adjunct Volume)	2019	DBLP DOI BibTeX RDF
23	Satoshi Oota, Akihiko Murai, Masaaki Mochimaru	Lucid Virtual/Augmented Reality (LVAR) Integrated with an Endoskeletal Robot Suit: StillSuit: A new framework for cognitive and physical interventions to support the ageing society.	VR	2019	DBLP DOI BibTeX RDF
23	Alexandra Kitson, Thecla Schiphorst, Bernhard E. Riecke	Are You Dreaming?: A Phenomenological Study on Understanding Lucid Dreams as a Tool for Introspection in Virtual Reality.	CHI	2018	DBLP DOI BibTeX RDF
23	Jordan T. Quaglia, Andrew Holecek	Lucid Virtual Dreaming: Antecedents and Consequents of Virtual Lucidity During Virtual Threat.	VR	2018	DBLP DOI BibTeX RDF
23	Anna Khoreva, Rodrigo Benenson, Eddy Ilg, Thomas Brox, Bernt Schiele	Lucid Data Dreaming for Object Tracking.	CoRR	2017	DBLP BibTeX RDF
23	Timothy T. Rogers, Charles Kalish	LUCID science: Advancing learning through human-machine cooperation.	CogSci	2017	DBLP BibTeX RDF
23	Steve DiPaola, Sara Feldman	Lucid Self.	EVA	2017	DBLP DOI BibTeX RDF
23	Morteza Rezaei, Sadjaad Ozgoli	Lucid Workspace for Stereo Vision.	J. Intell. Robotic Syst.	2015	DBLP DOI BibTeX RDF
23	Jarryd P. Beck, John Plaice, William W. Wadge	Multidimensional infinite data in the language Lucid.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
23	Claude Turner, Jie Yan, Dwight H. Richards, Pamela O'Brien, Jide Odubiyi, Quincy Brown	LUCID: a visualization and broadcast system for cyber defense competitions.	Inroads	2015	DBLP DOI BibTeX RDF
23	Sebastian Tramp, Rubén Navarro Piris, Timofey Ermilov, Niklas Petersen, Marvin Frommhold, Sören Auer	Distributed Linked Data Business Communication Networks: The LUCID Endpoint.	ESWC (Satellite Events)	2015	DBLP DOI BibTeX RDF
23	Hussam Amrouch, Jörg Henkel	Lucid infrared thermography of thermally-constrained processors.	ISLPED	2015	DBLP DOI BibTeX RDF
23	Mara Dionisio, Paulo Bala, Rui Trindade, Valentina Nisi, Julian Hanna, Time's Up	Lucid Peninsula: DreamScope - An Interactive Physical Installation.	Creativity & Cognition	2015	DBLP DOI BibTeX RDF
23	Jakob Stoustrup	Successful industry/academia cooperation: From simple via complex to lucid solutions.	Eur. J. Control	2013	DBLP DOI BibTeX RDF
23	Theodor G. Wyeld	From the Arcane to the Lucid: A Case Study of Improvements to a Library Database Using Visual Cues.	IV	2012	DBLP DOI BibTeX RDF
23	Xiang Wang, Zhi Liu, Yaxuan Qi, Jun Li 0003	LiveCloud: A lucid orchestrator for cloud datacenters.	CloudCom	2012	DBLP DOI BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Reasoning About a Simulated Printer Case Investigation with Forensic Lucid.	ICDF2C	2011	DBLP DOI BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY.	PST	2011	DBLP DOI BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY	CoRR	2010	DBLP BibTeX RDF
23	Serguei A. Mokhov	Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF.		2010	RDF
23	Rachel Baker, Valérie Hazan	LUCID: a corpus of spontaneous and read clear speech in British English.	DiSS-LPSS	2010	DBLP BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence.	RAID	2010	DBLP DOI BibTeX RDF
23	Aihua Wu 0001, Joey Paquet, Serguei A. Mokhov	Object-Oriented Intensional Programming: Intensional Java/Lucid Classes.	SERA	2010	DBLP DOI BibTeX RDF	hybrid programming languages, Java, object-oriented programming, intensional programming, General Intensional Programming System (GIPSY)
23	Serguei A. Mokhov	Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY	CoRR	2009	DBLP BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet	Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle	CoRR	2009	DBLP BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid	CoRR	2009	DBLP BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Reasoning About an ACME Printer Case Investigation with Forensic Lucid	CoRR	2009	DBLP BibTeX RDF
23	Aihua Wu 0001, Joey Paquet, Serguei A. Mokhov	Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid	CoRR	2009	DBLP BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract).	HSC	2009	DBLP BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid.	HSC	2009	DBLP BibTeX RDF
23	Serguei A. Mokhov	Encoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions.	TeNe	2008	DBLP DOI BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.	IMF	2008	DBLP BibTeX RDF
23	Peter Grogono, Serguei A. Mokhov, Joey Paquet	Toward JLucid, Lucid with Embedded Java Functions in the GIPSY.	PLC	2005	DBLP BibTeX RDF
23	Serguei A. Mokhov, Joey Paquet	Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY.	PLC	2005	DBLP BibTeX RDF
23	Kaiyu Wan, Vasu S. Alagar, Joey Paquet	Lucx: Lucid Enriched with Context.	PLC	2005	DBLP BibTeX RDF
23	Andy Smith, Lynne Dunckley	Using the LUCID Method to Optimize the Acceptability of Shared Interfaces.	Interact. Comput.	1998	DBLP DOI BibTeX RDF
23	Andy Smith, Lynne Dunckley	User Centred Design: The Application of the LUCID Interface Design Method.	HCI (2)	1997	DBLP BibTeX RDF
23	Andy Smith, Lynne Dunckley, Diana Burkhardt, Alan Murkett, Ken D. Eason, Jonathan Church	Development the optimum help system using the LUCID method.	INTERACT	1997	DBLP BibTeX RDF
23	Andy Smith, Lynne Dunckley	Towards the Total Quality Interface - Applying Taguchi TQM Techniques within the LUCID Method.	BCS HCI	1996	DBLP DOI BibTeX RDF
23	George K. Thiruvathukal, Thomas W. Christopher	A Simulation of Demand-Driven Dataflow: Translation from Lucid into MDC Language.	IPPS	1991	DBLP DOI BibTeX RDF
23	Janice I. Glasgow, Glenn H. MacEwen	LUCID: a specification language for distributed systems.	ACM SIGSOFT Softw. Eng. Notes	1985	DBLP DOI BibTeX RDF
23	Derek R. Brough, Maarten H. van Emden	Dataflow, Flowcharts, and "LUCID"-style Programming in Logic.	SLP	1984	DBLP BibTeX RDF
23	P. T. Pilgram	Translating Lucid data flow into message passing actors.		1983	RDF
23	Edward A. Ashcroft, William W. Wadge	Some common misconceptions about Lucid.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
23	Christoph M. Hoffmann	Semantic Properties of Lucid's Compute Clause and its Compilation.	Acta Informatica	1980	DBLP DOI BibTeX RDF
23	Edward A. Ashcroft, William W. Wadge	Lucid, a Nonprocedural Language with Iteration.	Commun. ACM	1977	DBLP DOI BibTeX RDF