1995 search results - page 85 / 399 » What's the Problem |
138
Voted
RC
2002
15 years 3 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
116
Voted
SOFTWARE
1998
15 years 3 months ago
1998
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
239
Voted
AMW
2011
14 years 7 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
143
Voted
APPROX
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We study the space complexity of randomized streaming algorithms that provide one-sided approximation guarantees; e.g., the algorithm always returns an overestimate of th...
143
Voted
IADIS
2008
15 years 5 months ago
2008
Mobile learning is widely regarded as the next generation of learning technologies, and refers to the use of mobile devices in education to enhance learning activities. The increa...