Works matching DE "TEMPORAL automata"
Results: 26
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Laboratory modelling of the effects of temporal changes of estuarine-fresh-water discharge rates on the propagation speed of oceanographic coastal currents.
- Published in:
- Journal of Fluid Mechanics, 2010, v. 664, n. 1, p. 337, doi. 10.1017/S0022112010004702
- Publication type:
- Article