2850 search results - page 391 / 570 » On Timed Models and Full Abstraction |
351
click to vote
AWPN
2008
15 years 8 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
186
click to vote
IJRR
2010
15 years 5 months ago
2010
The solution to the problem of mapping an environment and at the same time using this map to localize (the simultaneous localization and mapping, SLAM, problem) is a key prerequis...
227
click to vote
CIVR
2010
Springer
15 years 4 months ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
221
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Influential people have an important role in the process of information diffusion. However, there are several ways to be influential, for example, to be the most popular or the...
235
click to vote
SIAMCOMP
2011
15 years 1 months ago
2011
Abstract. In the 2nd Annual FOCS (1961), Chao-Kong Chow proved that every Boolean threshold function is uniquely determined by its degree-0 and degree-1 Fourier coefficients. These...