CiteULike: scis0000001's temporal [52 articles]

In Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, Vol. LNCS 655 (1993), pp. 236-253.

by J. Fiadeiro, J. F. Costa, A. Sernadas, T. Maibaum

edited by M. Bidoit, C. Choppy

posted to temporal-logic temporal semantics process logic categorical by scis0000001 on 2007-01-27 14:30:22 as

Modal and Temporal Operators on Partial Orders

by Bernhard Möller

posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as

Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem

In AAAI/{IAAI} (1998), pp. 240-247.

by Daniel J. Clancy, Benjamin Kuipers

posted to temporal simulation qualitative csp constraints by scis0000001 on 2007-01-19 19:08:03 as

Qualitative spatio-temporal representation and reasoning: a computational perspective

(2001)

by F. Wolter, M. Zakharyaschev

posted to temporal spatio-temporal representation qualitative inference by scis0000001 on 2007-01-19 09:25:39 as

A Metric and Layered Temporal Logic for Time Granularity

(1994)

by A. Montanari

posted to granularity logics temporal temporal-concept-analysis time by scis0000001 on 2007-01-19 09:17:38 as

On Specifying Real-Time Systems in a Causality-Based Setting

In FTRTFT (1996), pp. 385-404.

by Joost P. Katoen, Rom Langerak, Diego Latella, Ed Brinksma

posted to temporal rt event-structures by scis0000001 on 2007-01-16 14:47:27 as

Temporal Theories of Reasoning

In Logics in Artificial Intelligence (1994), pp. 279-299.

by Joeri Engelfriet, Jan Treur

edited by Craig Macnish, Luís M. Pereira, David Pearce

posted to time temporal state-space semantics information-system inference event-structures event-space dynamics chu-space behavior by scis0000001 on 2007-01-12 22:23:23 as

along with 1 person blog01

An annotated bibliography on temporal and evolution aspects in the world wide web

(2003)

by F. Grandi

posted to bibliography temporal web by scis0000001 on 2006-12-12 09:50:09 as

along with 1 person gridinoc

Algorithms for time series knowledge mining

In KDD '06: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (2006), pp. 668-673.

by Fabian Moerchen

posted to mining temporal by scis0000001 on 2006-12-11 13:54:48 as

along with 3 people wendyjap pinventado cmoewes

Mining asynchronous periodic patterns in time series data

In Knowledge Discovery and Data Mining (2000), pp. 275-279.

by Jiong Yang, Wei Wang, Philip S. Yu

posted to asynchronous mining periodic temporal by scis0000001 on 2006-12-11 13:53:33 as

Mechanising first-order temporal resolution

(2003)

by B. Konev, A. Degtyarev, C. Dixon, M. Fisher, U. Hustadt

posted to fol resolution temporal by scis0000001 on 2006-12-10 15:49:11 as

âParticlesâ and âWavesâ as Understood by Temporal Concept Analysis

Lecture Notes in Computer Science : Conceptual Structures at Work (2004), pp. 126-141.

by Karl E. Wolff

posted to duality particles temporal temporal-concept-analysis waves by scis0000001 on 2006-12-08 08:43:07 as

along with 1 person Scis0000002

Temporal Concept Analysis

by Karl E. Wolff

Evolino for recurrent support vector machines

(15 Dec 2005)

by Juergen Schmidhuber, Matteo Gagliolo, Daan Wierstra, Faustino Gomez

posted to recurrent svm temporal time-series-analysis by scis0000001 on 2006-12-02 15:25:28 as

Process Representation in Temporal Concept Analysis

by Karl E. Wolff

posted to fca process process-space representation temporal temporal-concept-analysis by scis0000001 on 2006-12-01 14:33:29 as

An Algorithm for Pattern Discovery in Time Series

(27 November 2002)

by Cosma R. Shalizi, Kristina L. Shalizi, James P. Crutchfield

posted to epsilon-machine epsilonmachine temporal time-series-analysis by scis0000001 on 2006-10-15 17:22:45 as

along with 5 people and 3 groups ansobol jack balicea nathanielvirgo mattjb Vision ComplexAdaptiveSystems DSTO-CAS

A temporal description logic for reasoning over conceptual schemas and queries

(2002)

by A. Artale, E. Franconi, F. Wolter, M. Zakharyaschev

posted to dl temporal by scis0000001 on 2006-09-30 15:59:46 as

Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

(28 July 1997)

by Jon Barwise, Jerry Seligman

SVM Kernels for Time Series Analysis

by Stefan Rüping

posted to svm temporal time-series-analysis tsa by scis0000001 on 2006-09-06 13:57:53 as

	Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms [My Copy] Lecture Notes in Computer Science, Vol. 1387 (1998), pp. 63-??. by Eric A. Wan, Fran\ccoise Beaufays posted to category-theory diagram neural-network neuroscience temporal by scis0000001 on 2007-04-16 13:34:00 as
	Viewing personal history records: A comparison of Tabular format and graphical presentation using LifeLines [My Copy] No. CS-TR-3795. (1997) by Diane L. Alonso, Anne Rose, Catherine Plaisant, Kent L. Norman posted to temporal visualization by scis0000001 on 2007-04-12 00:57:03 as along with 2 people and 2 groups jmankoff ianli Chronic Web 2ndFloor
	Temporal Visualization for Legal Case Histories [My Copy] by Chanda H. Robert posted to temporal visualization by scis0000001 on 2007-04-12 00:54:43 as
	Temporal representation and reasoning in artificial intelligence: Issues and approaches [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 28, No. 1-4. (2000), pp. 47-106. by Luca Chittaro, Angelo Montanari posted to inference temporal by scis0000001 on 2007-04-11 13:35:49 as
	Integrating Metric and Qualitative Temporal Reasoning [My Copy] In National Conference on Artificial Intelligence (1991), pp. 241-246. by Henry A. Kautz, Peter B. Ladkin posted to inference qualitative quantitative temporal by scis0000001 on 2007-04-11 13:33:19 as
	Mining Temporal Patterns from Relational Data [My Copy] by Andreas D. Lattner, Otthein Herzog posted to mining relational temporal by scis0000001 on 2007-04-09 16:07:14 as
	Learning temporal rules from state sequences [My Copy] by F. Hoppner posted to abstraction reconstruction temporal by scis0000001 on 2007-04-09 16:01:14 as
	Temporal Algebra [My Copy] In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000), pp. 309-385. by Burghard von Karger posted to algebra temporal by scis0000001 on 2007-04-07 01:06:20 as
	Generalizing Temporal Dependencies for Non-Temporal Dimensions [My Copy] by Jef Wijsen, Raymond T. Ng posted to dependency spatial temporal by scis0000001 on 2007-04-07 00:52:34 as along with 1 person network03
	Discovering Calendar-based Temporal Association Rules [My Copy] In TIME (2001), pp. 111-118. by Yingjiu Li, Peng Ning, Xiaoyang S. Wang, Sushil Jajodia posted to association-rules calendar temporal by scis0000001 on 2007-04-07 00:47:06 as
	Pattern discovery in temporal databases: a temporal logic approach [My Copy] In Second International Conference on Knowledge Discovery and Data Mining (1996) by Balaji Padmanabhan, Alexander Tuzhilin edited by Evangelos Simoudis, Jiawei Han, Usama Fayyad posted to database discovery temporal temporal-logic by scis0000001 on 2007-04-07 00:33:29 as
	Temporal Pattern Recognition in Noisy Non-stationary Time Series Based on Quantization into Symbolic Streams: Lessons Learned from Financial Volatility Trading [My Copy] by Peter Tino, Christian Schittenkopf, Georg Dorffner posted to non-stationary streams temporal time-series by scis0000001 on 2007-04-06 13:49:22 as
	A New Temporal Pattern Identification Method for Characterization and Prediction of Complex Time Series Events [My Copy] by Richard J. Povinelli, Xin Feng posted to prediction tca temporal tsa by scis0000001 on 2007-04-04 00:58:09 as
	User Interactions with Everyday Applications as Context for Just-in-Time Information Access [My Copy] In Proceedings of the 2000 International Conference on Intelligent User Interfaces (2000) by J. Budzik, K. J. Hammond posted to anticipation assistance assistant augmenting goal-oriented interactivity just-in-time monitoring prediction proactive problem-oriented problem-solving process-oriented real-time relevance-feedback semdesk semweb suggester support supporting task-oriented temporal traces tracing ui by scis0000001 on 2007-02-22 09:54:11 as along with 5 people and 1 group dartar gridinoc FrankGlasgow sexy Scis0000002 GLAMIR
	Web-log Mining for Quantitative Temporal-Event Prediction [My Copy] by Qiang Yang, Hui Wang, Wei Zhang posted to prediction quantitative temporal by scis0000001 on 2007-02-20 13:56:52 as
	Autonomous discovery of temporal abstractions from interaction with an environment [My Copy] (2002) by Elizabeth A. Mcgovern posted to abstraction discovery interaction temporal temporal-concept-analysis by scis0000001 on 2007-02-16 09:54:47 as
	A Dynamic Perspective on an Agent's Mental States and Interaction with its Environment [My Copy] (2002) by C. Jonker, J. Treur posted to chu-space computability-logic dynamical-system dynamics interactivity neural-symbolic temporal temporal-concept-analysis temporal-logic by scis0000001 on 2007-02-15 14:29:05 as along with 1 person Scis0000002
	Concurrent Probabilistic Temporal Planning: Initial Results [My Copy] (2004) by Mausam, Daniel S. Weld posted to temporal probabilistic planning concurrent by scis0000001 on 2007-02-11 18:07:50 as along with 1 person rwm101
	Encoding Temporal Planning as CSP [My Copy] In Proc. of the AIPS workshop on planning in temporal domains, Toulouse, France (April 2002), pp. 18-25. by Amol Mali posted to temporal planning csp by scis0000001 on 2007-02-11 18:06:21 as
	Generative Temporal Planning with Complex Processes [My Copy] by Jonathan Kennell posted to temporal planning generative by scis0000001 on 2007-02-11 17:58:32 as
	On Topological Hierarchies of Temporal Properties [My Copy] Fundamenta Informaticae, Vol. 41, No. 3. (2000), pp. 259-294. by Christel Baier, Marta Z. Kwiatkowska posted to topology time temporal hierarchy by scis0000001 on 2007-02-04 16:15:21 as along with 1 person jrw
	A Hierarchy of Partial Order Temporal Properties [My Copy] In ICTL (1994), pp. 398-414. by Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek posted to temporal partial-order hierarchy by scis0000001 on 2007-02-04 16:10:02 as
	Expressiveness of Metric modalities for continuous time [My Copy] (22 Nov 2006) by Yoram Hirshfeld, Alexander Rabinovich posted to temporal quantitative modality modal-logic expressiveness by scis0000001 on 2007-02-04 15:34:59 as along with 1 person dmitri83
	Situated Nonmonotonic Temporal Reasoning with BABY-SIT [My Copy] AI Communications, Vol. 10, No. 2. (1997), pp. 93-109. by Erkan Tin, Varol Akman posted to temporal situation-theory situated nonmonotonic inference by scis0000001 on 2007-02-04 14:41:48 as
	Relating Processes With Respect to Speed [My Copy] In CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory (1991), pp. 424-438. by Faron Moller, Chris M. N. Tofts posted to concurrency emergence long-range-correlation multiscale process speed speed-prior symmetry-breaking temporal by scis0000001 on 2007-02-03 18:35:01 as
	Timed model-based programming: Executable specifications for robust mission-critical sequences [My Copy] (2003) by M. Ingham posted to temporal specification real-time-computing model-based executable by scis0000001 on 2007-02-03 15:36:42 as
	Timed Transition Systems [My Copy] In REX Workshop (1991), pp. 226-251. by Thomas A. Henzinger, Zohar Manna, Amir Pnueli posted to transition-system temporal by scis0000001 on 2007-02-03 15:33:53 as
	Transitions take time (Extended Abstract) [My Copy] by Eric Goubault posted to temporal real-time-computing by scis0000001 on 2007-02-03 15:31:41 as
	Satisfiability of Quantitative Temporal Constraints with Multiple Granularities [My Copy] In Principles and Practice of Constraint Programming (1997), pp. 435-449. by Claudio Bettini, Xiaoyang S. Wang, Sushil Jajodia posted to temporal performance hierarchy granularity emergence csp constraints by scis0000001 on 2007-02-02 14:19:05 as
	Representing and Reasoning about Temporal Granularities [My Copy] by Carlo Combi, Massimo Franceschet, Adriano Peron posted to time temporal-concept-analysis temporal qualitative inference granularity by scis0000001 on 2007-02-01 14:05:53 as
	Temporal Relevant Logic as the Logical Basis of Autonomous Evolutionary Information Systems [My Copy] by Jingde Cheng posted to information-system relevant-logic temporal temporal-relevant-logic by scis0000001 on 2007-02-01 13:00:33 as along with 1 person Scis0000002
	Process Semantics of Temporal Logic Specification [My Copy] In Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, Vol. LNCS 655 (1993), pp. 236-253. by J. Fiadeiro, J. F. Costa, A. Sernadas, T. Maibaum edited by M. Bidoit, C. Choppy posted to temporal-logic temporal semantics process logic categorical by scis0000001 on 2007-01-27 14:30:22 as
	Modal and Temporal Operators on Partial Orders [My Copy] by Bernhard Möller posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as
	Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem [My Copy] In AAAI/{IAAI} (1998), pp. 240-247. by Daniel J. Clancy, Benjamin Kuipers posted to temporal simulation qualitative csp constraints by scis0000001 on 2007-01-19 19:08:03 as
	Qualitative spatio-temporal representation and reasoning: a computational perspective [My Copy] (2001) by F. Wolter, M. Zakharyaschev posted to temporal spatio-temporal representation qualitative inference by scis0000001 on 2007-01-19 09:25:39 as
	A Metric and Layered Temporal Logic for Time Granularity [My Copy] (1994) by A. Montanari posted to granularity logics temporal temporal-concept-analysis time by scis0000001 on 2007-01-19 09:17:38 as
	On Specifying Real-Time Systems in a Causality-Based Setting [My Copy] In FTRTFT (1996), pp. 385-404. by Joost P. Katoen, Rom Langerak, Diego Latella, Ed Brinksma posted to temporal rt event-structures by scis0000001 on 2007-01-16 14:47:27 as
	Temporal Theories of Reasoning [My Copy] In Logics in Artificial Intelligence (1994), pp. 279-299. by Joeri Engelfriet, Jan Treur edited by Craig Macnish, Luís M. Pereira, David Pearce posted to time temporal state-space semantics information-system inference event-structures event-space dynamics chu-space behavior by scis0000001 on 2007-01-12 22:23:23 as along with 1 person blog01
	An annotated bibliography on temporal and evolution aspects in the world wide web [My Copy] (2003) by F. Grandi posted to bibliography temporal web by scis0000001 on 2006-12-12 09:50:09 as along with 1 person gridinoc
	Algorithms for time series knowledge mining [My Copy] In KDD '06: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (2006), pp. 668-673. by Fabian Moerchen posted to mining temporal by scis0000001 on 2006-12-11 13:54:48 as along with 3 people wendyjap pinventado cmoewes
	Mining asynchronous periodic patterns in time series data [My Copy] In Knowledge Discovery and Data Mining (2000), pp. 275-279. by Jiong Yang, Wei Wang, Philip S. Yu posted to asynchronous mining periodic temporal by scis0000001 on 2006-12-11 13:53:33 as
	Mechanising first-order temporal resolution [My Copy] (2003) by B. Konev, A. Degtyarev, C. Dixon, M. Fisher, U. Hustadt posted to fol resolution temporal by scis0000001 on 2006-12-10 15:49:11 as
	âParticlesâ and âWavesâ as Understood by Temporal Concept Analysis [My Copy] Lecture Notes in Computer Science : Conceptual Structures at Work (2004), pp. 126-141. by Karl E. Wolff posted to duality particles temporal temporal-concept-analysis waves by scis0000001 on 2006-12-08 08:43:07 as along with 1 person Scis0000002
	Temporal Concept Analysis [My Copy] by Karl E. Wolff posted to behavior behavior-space chu-space computational-epistemology conceptual-structures continuity discreteness domain-theory duality dynamical-system dynamics event event-space fca granularity iff information-system lca linearity mereology modeling n-information-system phase-space polyadic-concept-analysis qualitative scale-relativity scale-space space-time spatio-temporal state-space symbolic-dynamics tca temporal temporal-concept-analysis time transition-system unified-concept-theory by scis0000001 on 2006-12-07 16:23:37 as along with 1 person Scis0000002
	Evolino for recurrent support vector machines [My Copy] (15 Dec 2005) by Juergen Schmidhuber, Matteo Gagliolo, Daan Wierstra, Faustino Gomez posted to recurrent svm temporal time-series-analysis by scis0000001 on 2006-12-02 15:25:28 as
	Process Representation in Temporal Concept Analysis [My Copy] by Karl E. Wolff posted to fca process process-space representation temporal temporal-concept-analysis by scis0000001 on 2006-12-01 14:33:29 as
	An Algorithm for Pattern Discovery in Time Series [My Copy] (27 November 2002) by Cosma R. Shalizi, Kristina L. Shalizi, James P. Crutchfield posted to epsilon-machine epsilonmachine temporal time-series-analysis by scis0000001 on 2006-10-15 17:22:45 as along with 5 people and 3 groups ansobol jack balicea nathanielvirgo mattjb Vision ComplexAdaptiveSystems DSTO-CAS
	A temporal description logic for reasoning over conceptual schemas and queries [My Copy] (2002) by A. Artale, E. Franconi, F. Wolter, M. Zakharyaschev posted to dl temporal by scis0000001 on 2006-09-30 15:59:46 as
	Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 July 1997) by Jon Barwise, Jerry Seligman posted to algorithmic-information-theory category-of-theories channel-theory chu-space computational-neuroscience computational-science formal-development formal-science granularity iff information-flow lattice-of-theories metascience temporal unified-concept-theory by scis0000001 on 2006-09-23 13:50:41 as along with 3 people and 1 group Scis0000002 msakai aleks Compilers
	SVM Kernels for Time Series Analysis [My Copy] by Stefan Rüping posted to svm temporal time-series-analysis tsa by scis0000001 on 2006-09-06 13:57:53 as

scis0000001's temporal [52 articles] Export

scis0000001's tags