2050 search results - page 309 / 410 » A formal foundation for process modeling |
204
click to vote
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
186
Voted
DIGRA
2005
Springer
16 years 10 days ago
2005
Springer
Academics and industry professionals alike have long been interested in developing a nuanced and empirically sound typography of online gamers. Designers and engineers are aware o...
227
click to vote
AI50
2006
15 years 10 months ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...
165
click to vote
IOR
2002
15 years 6 months ago
2002
abstract mathematics. My mentor was Professor S. Bochner, a distinguished contributor to harmonic analysis. My classmates included Richard Bellman (who later nurtured the method of...
191
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, a new framework for the tracking of closed curves is described. The proposed approach, formalized through an optimal control technique, enables a continuous trackin...