4126 search results - page 438 / 826 » Relationships with other Formalisms |
192
click to vote
ECEASST
2008
15 years 6 months ago
2008
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
164
click to vote
ENTCS
2008
15 years 6 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
139
click to vote
CAGD
2006
15 years 6 months ago
2006
Abstract. Volino and Thalmann have published a conjecture proposing sufficient conditions for non-selfintersection of surfaces. Such conditions may be used in solid modeling, compu...
175
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an interdisciplinary approach which brings together the fields of corpus linguistics and translation studies. It presents ongoing work on the creation of a co...
160
click to vote
IJIS
2008
15 years 6 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...