1559 search results - page 132 / 312 » Some Group Theory Problems |
168
Voted
ICONIP
2010
15 years 1 months ago
2010
With simple cost effective imaging solutions being widely available these days, there has been an enormous rise in the number of images consumers have been taking. Due to this incr...
154
Voted
CADE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
129
click to vote
SSD
2005
Springer
15 years 10 months ago
2005
Springer
A moving cluster is defined by a set of objects that move close to each other for a long time interval. Real-life examples are a group of migrating animals, a convoy of cars movin...
124
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
119
click to vote
IWDC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. IP multicast suffers from scalability problem with the number of concurrently active multicast groups, while scalability of QoS multicast is even further from being solve...