384 search results - page 77 / 77 » Temporal Development Methods for Agent-Based |
ICANNGA
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we present a new method of 3D non-negative tensor factorization (NTF) that is robust in the presence of noise and has many potential applications, including multi-way...
COOPIS
1998
IEEE
13 years 9 months ago
1998
IEEE
Recent advances in wireless technologies have made the mobile computing a reality. In order to provide services of good quality to mobile users and improve the system performance,...
AOSD
2007
ACM
13 years 9 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
AI
2004
Springer
13 years 5 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...