4767 search results - page 553 / 954 » Structures for Abstract Rewriting |
201
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
167
click to vote
ICWE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
199
click to vote
IJCNLP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A speech act is a linguistic action intended by a speaker. It is important to analyze the speech act for the dialogue understanding system because the speech act of an ut...
248
click to vote
ISAS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
198
click to vote
ISVC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present an appearance-based 3D hand posture estimation method that determines a ranked set of possible hand posture candidates from an unmarked hand image, based on an...