8512 search results - page 237 / 1703 » Computing Theory With Relevance |
188
click to vote
SACI
2007
IEEE
16 years 26 days ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
174
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
225
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
149
click to vote
ELPUB
2006
ACM
16 years 17 days ago
2006
ACM
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...
189
click to vote
GRC
2008
IEEE
15 years 7 months ago
2008
IEEE
Granular computing is gradually changing from a label to a new field of study. The driving forces, the major schools of thought, and the future research directions on granular co...