5205 search results - page 670 / 1041 » Tilings and model theory |
221
click to vote
AGP
2010
IEEE
15 years 12 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
211
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...
169
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Business to Business (B2B) relationships in Ecommerce are becoming increasingly important. However, there is little guidance available for managers about how relationships should ...
146
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
196
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents linear matrix inequalities for stability analysis for networked control systems (NCSs) that incorporates various network phenomena: time-varying sampling in...