5064 search results - page 472 / 1013 » Recent Developments in Gridsolve |
154
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
A layered architecture for the Semantic Web that adheres to software engineering principles and the fundamental aspects of layered architectures will assist in the development of S...
164
click to vote
AAAI
2006
15 years 8 months ago
2006
Coalition formation is an important capability of automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered is...
165
click to vote
SWAP
2007
15 years 8 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
125
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper summarizes recent work at Microsoft on the development of novel direct models. The key characteristic of our approaches is the use of long-span segment level features t...
178
click to vote
ENTCS
2008
15 years 7 months ago
2008
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...