Sciweavers

451 search results - page 27 / 91
» Temporal Classes and OWL
Sort
View
93
Voted
CP
2007
Springer
15 years 6 months ago
Strong Controllability of Disjunctive Temporal Problems with Uncertainty
The Disjunctive Temporal Problem with Uncertainty (DTPU) is an extension of the Disjunctive Temporal Problem (DTP) that accounts for events not under the control of the executing a...
Bart Peintner, Kristen Brent Venable, Neil Yorke-S...
ICTL
1994
15 years 4 months ago
Completeness through Flatness in Two-Dimensional Temporal Logic
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
Yde Venema
82
Voted
CORR
2011
Springer
164views Education» more  CORR 2011»
14 years 7 months ago
Iterative Reweighted Algorithms for Sparse Signal Recovery with Temporally Correlated Source Vectors
Iterative reweighted algorithms, as a class of algorithms for sparse signal recovery, have been found to have better performance than their non-reweighted counterparts. However, f...
Zhilin Zhang, Bhaskar D. Rao
AAAI
2012
13 years 2 months ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla
97
Voted
ISCAS
2003
IEEE
117views Hardware» more  ISCAS 2003»
15 years 5 months ago
Learning temporal correlations in biologically-inspired aVLSI
Temporally-asymmetric Hebbian learning is a class of algorithms motivated by data from recent neurophysiology experiments. While traditional Hebbian learning rules use mean firin...
Adria Bofill-i-Petit, Alan F. Murray