4767 search results - page 553 / 954 » Structures for Abstract Rewriting |
175
click to vote
ICLP
2005
Springer
16 years 11 days 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...
143
click to vote
ICWE
2005
Springer
16 years 10 days 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 ...
185
click to vote
IJCNLP
2005
Springer
16 years 10 days 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...
222
click to vote
ISAS
2005
Springer
16 years 10 days 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...
182
click to vote
ISVC
2005
Springer
16 years 10 days 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...