941 search results - page 143 / 189 » The Second Order Particle System |
CLIMA
2004
14 years 12 days ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
ECIS
2004
14 years 12 days ago
2004
Understanding consumer behavior is of vital importance to consumer oriented e-business models today. In this paper we report on a study into the relationships between consumer per...
IADIS
2004
14 years 12 days ago
2004
This paper addresses two questions. Firstly, how is it possible for an application to become aware of network conditions and secondly, given this awareness, how can a system be de...
ECIS
2003
14 years 11 days ago
2003
This paper studies the pricing of software development outsourcing. Two pricing techniques – time and material and fixed price – are described and the economic conditions for ...
ACL
1998
14 years 11 days ago
1998
The study presented here relies on the integrated use of different kinds of knowledge in order to improve first-guess accuracy in non-word context-sensitive correction for general...