Works matching DE "TEMPORAL automata"

Results: 26

CLASSIFICATION OF CROPLANDS THROUGH FUSION OF OPTICAL AND SAR TIME SERIES DATA.

Published in:

International Archives of the Photogrammetry, Remote Sensing & Spatial Information Sciences, 2016, v. 41, n. B7, p. 703, doi. 10.5194/isprsarchives-XLI-B7-703-2016

By:

Park, S.;
Im, J.

Publication type:

Article

Building and using temporal knowledge in archaeological documentation.

Published in:

Journal of Intelligent Information Systems, 2008, v. 31, n. 2, p. 147, doi. 10.1007/s10844-008-0061-8

By:

Accary-Barbier, Tiphaine;
Calabretto, Sylvie

Publication type:

Article

Applying multifractality and the self-organized criticality theory to describe the temporal rainfall regimes in Andalusia (southern Spain).

Published in:

Hydrological Processes, 2008, v. 22, n. 2, p. 295

By:

García-Marín, A. P.;
Jiménez-Hornero, F. J.;
Ayuso, J. L.

Publication type:

Article

Long-lead seasonal rainfall forecasting using time-delay recurrent neural networks: a case study.

Published in:

Hydrological Processes, 2008, v. 22, n. 2, p. 229, doi. 10.1002/hyp.6571

By:

Karamouz, Mohammad;
Razavi, Saman;
Araghinejad, Shahab

Publication type:

Article

SUBGOAL PARTITIONING AND GLOBAL SEARCH FOR SOLVING TEMPORAL PLANNING PROBLEMS IN MIXED SPACE.

Published in:

International Journal on Artificial Intelligence Tools, 2004, v. 13, n. 4, p. 767, doi. 10.1142/S0218213004001806

By:

Wah, Benjamin W.;
Chen, Yixin

Publication type:

Article

Initiation and development of fingertip forces during whole-hand grasping.

Published in:

Experimental Brain Research, 2001, v. 140, n. 4, p. 443, doi. 10.1007/s002210100838

By:

Reilmann, Ralf;
Gordon, Andrew M.;
Henningsen, Henning

Publication type:

Article

Prebiotic Competition between Information Variants, With Low Error Catastrophe Risks.

Published in:

Entropy, 2015, v. 17, n. 8, p. 5274, doi. 10.3390/e17085274

By:

Popa, Radu;
Cimpoiasu, Vily Marius

Publication type:

Article

Expressiveness of verifiable hierarchical clock systems.

Published in:

International Journal of General Systems, 2008, v. 37, n. 4, p. 391, doi. 10.1080/03081070701794876

By:

Hwang, Moon Ho;
Zeigler, Bernard P.

Publication type:

Article

On regular temporal logics with past.

Published in:

Acta Informatica, 2010, v. 47, n. 4, p. 251, doi. 10.1007/s00236-010-0118-3

By:

Dax, Christian;
Klaedtke, Felix;
Lange, Martin

Publication type:

Article

A functional approach for temporal ...

Published in:

Acta Informatica, 2003, v. 39, n. 2, p. 71, doi. 10.1007/s00236-002-0098-z

By:

Burrieza, Alfredo;
de Guzmán, Inma P.

Publication type:

Article

The Planning Spectrum -- One, Two, Three, Infinity.

Published in:

Journal of Artificial Intelligence Research, 2007, v. 30, p. 101, doi. 10.1613/jair.1909

By:

Pistore, Marco;
Vardi, Moshe Y.

Publication type:

Article

SPACE, TIME, FRAME, CINEMA.

Published in:

New Review of Film & Television Studies, 2006, v. 4, n. 3, p. 167, doi. 10.1080/17400300600981876

By:

Wolf, Mark J. P.

Publication type:

Article

Observing events and situations in time.

Published in:

Linguistics & Philosophy, 2007, v. 30, n. 5, p. 527, doi. 10.1007/s10988-008-9026-1

By:

Fernando, Tim

Publication type:

Article

PICOSECOND DISTRIBUTED FEEDBACK LASER IN INFRARED -VISIBLE SPECTRAL RANGE.

Published in:

Armenian Journal of Physics, 2010, v. 3, n. 1, p. 23

By:

Lalayan, A. A.

Publication type:

Article

TWO RELATED ALGORITHMS FOR ROOT-TO-FRONTIER TREE PATTERN MATCHING.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 6, p. 1253, doi. 10.1142/S012905410600439X

By:

CLEOPHAS, LOEK;
HEMERIK, KEES;
ZWAAN, GERARD

Publication type:

Article

ENFORCING CONCURRENT TEMPORAL BEHAVIORS.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 743, doi. 10.1142/S012905410600408X

By:

Peled, Doron;
Hongyang Qu

Publication type:

Article

Analysis of work trip timing and mode choice in the Greater Toronto Area.

Published in:

Canadian Journal of Civil Engineering, 2010, v. 37, n. 5, p. 695, doi. 10.1139/L10-008

By:

Day, Nicholas;
Habib, Khandker Nurul;
Miller, Eric J.

Publication type:

Article

Automatic transformation from TIDES to TimeML annotation.

Published in:

Language Resources & Evaluation, 2011, v. 45, n. 4, p. 495, doi. 10.1007/s10579-011-9147-y

By:

Saquete, Estela;
Pustejovsky, James

Publication type:

Article

An Interval Logic for Real-Time System Specification.

Published in:

IEEE Transactions on Software Engineering, 2001, v. 27, n. 3, p. 208, doi. 10.1109/32.910858

By:

Mattolini, Riccardo;
Nesi, Paolon

Publication type:

Article

The Visual Display of Temporal Information for E-Textbook: Incorporating the Mind-mapped Timeline Authoring Tool.

Published in:

KSII Transactions on Internet & Information Systems, 2018, v. 12, n. 7, p. 3307, doi. 10.3837/tiis.2018.07.017

By:

HeeJeong Lee;
Kok-Lim Alvin Yau

Publication type:

Article

A formal framework for verifying distributed embedded systems based on abstraction methods.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 471, doi. 10.1007/s10009-006-0011-0

By:

Carcenac, Francois;
Boniol, Frederic

Publication type:

Article

Efficient verification of timed automata with BDD-like data structures.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 1, p. 77, doi. 10.1007/s10009-003-0135-4

By:

Wang, Farn

Publication type:

Article

Temporal Moment Analysis of Multi-Species Radionuclide Transport in a Coupled Fracture-Skin-Matrix System with a Variable Fracture Aperture.

Published in:

Environmental Modeling & Assessment, 2016, v. 21, n. 4, p. 547, doi. 10.1007/s10666-016-9515-5

By:

Renu, V.;
Suresh Kumar, G.

Publication type:

Article

Recognition of human actions using texture descriptors.

Published in:

Machine Vision & Applications, 2011, v. 22, n. 5, p. 767, doi. 10.1007/s00138-009-0233-8

By:

Kellokumpu, Vili;
Guoying Zhao;
Pietikäinen, Matti

Publication type:

Article

Seeking multi-thresholds for image segmentation with Learning Automata.

Published in:

Machine Vision & Applications, 2011, v. 22, n. 5, p. 805, doi. 10.1007/s00138-010-0249-0

By:

Cuevas, Erik;
Zaldivar, Daniel;
Pérez-Cisneros, Marco

Publication type:

Article

Bimanual strategies for object retrieval in infants and young children.

Published in:

Experimental Brain Research, 2011, v. 211, n. 2, p. 207, doi. 10.1007/s00221-011-2672-5

By:

Birtles, Deirdre;
Anker, Shirley;
Atkinson, Janette;
Shellens, Rhiannon;
Briscoe, Alexandra;
Mahoney, Melissa;
Braddick, Oliver

Publication type:

Article