5214 search results - page 802 / 1043 » The Online Specialization Problem |
190
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
194
click to vote
NIME
2005
Springer
16 years 4 days ago
2005
Springer
WISEAR (Wireless Sensor Array) is a Linux based Embeddedx86 TS- 5600 SBC (Single Board Computer) specifically configured for use with music, dance and video performance technologi...
170
click to vote
SARA
2005
Springer
16 years 4 days ago
2005
Springer
Intelligent agents acting in real world environments need to synthesize their course of action based on multiple sources of knowledge. They also need to generate plans that smoothl...
175
click to vote
SOCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
192
click to vote
VLSM
2005
Springer
16 years 4 days ago
2005
Springer
The need to regularize tensor fields arise recently in various applications. We treat in this paper tensors that belong to matrix Lie groups. We formulate the problem of these SO(...