3690 search results - page 312 / 738 » Computation with classical sequents |
177
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
255
click to vote
CVPR
2009
IEEE
17 years 13 days ago
2009
IEEE
We generalize reflection symmetry detection to a curved
glide-reflection symmetry detection problem. We propose
a unifying, local feature-based approach for curved glidereflectio...
267
click to vote
DIS
2010
Springer
15 years 4 months ago
2010
Springer
Micro-blogs are a challenging new source of information for data mining techniques. Twitter is a micro-blogging service built to discover what is happening at any moment in time, a...
159
click to vote
GC
2010
Springer
15 years 4 months ago
2010
Springer
The b-chromatic number of a graph G is the largest integer k such that G admits a proper k-coloring in which every color class contains at least one vertex adjacent to some vertex...
176
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (intera...