2115 search results - page 399 / 423 » Semantic structure from motion |
137
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
158
click to vote
EUROMICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
157
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
154
click to vote
GECCO
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
184
click to vote
WWW
2011
ACM
15 years 16 days ago
2011
ACM
Recently, a number of algorithms have been proposed to obtain hierarchical structures — so-called folksonomies — from social tagging data. Work on these algorithms is in part ...