Sciweavers

742 search results - page 39 / 149
» Argumentative alternating offers
Sort
View
GW
2007
Springer
104views Biometrics» more  GW 2007»
15 years 3 months ago
Gesture Modelling for Linguistic Purposes
The study of sign languages attempts to create a coherent model that binds the expressive nature of signs conveyed in gestures to a linguistic framework. Gesture modelling offers a...
Guillaume J.-L. Olivrin
AAAI
2008
15 years 2 months ago
On the Decidability of Role Mappings between Modular Ontologies
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant...
JAPLL
2008
79views more  JAPLL 2008»
14 years 11 months ago
The seven virtues of simple type theory
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
William M. Farmer
SIGPLAN
2008
14 years 11 months ago
Teaching programming languages in a post-linnaean age
Programming language "paradigms" are a moribund and tedious legacy of a bygone age. Modern language designers pay them no respect, so why do our courses slavishly adhere...
Shriram Krishnamurthi
NPL
2002
103views more  NPL 2002»
14 years 11 months ago
Kernel Nearest Neighbor Algorithm
The `kernel approach' has attracted great attention with the development of support vector machine (SVM) and has been studied in a general way. It offers an alternative soluti...
Kai Yu, Liang Ji, Xuegong Zhang