5964 search results - page 210 / 1193 » A theory of speculative computation |
209
click to vote
SACI
2007
IEEE
16 years 1 months 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...
201
click to vote
TPHOL
2005
IEEE
16 years 22 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...
252
click to vote
AI
2011
Springer
15 years 2 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...
205
click to vote
GRC
2008
IEEE
15 years 8 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...
172
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Many researchers have searched for evidence of organizational improvements from the huge sums invested in ICT. Unfortunately, evidence for such a pay back is spotty at best (e.g.,...