Sciweavers

7796 search results - page 291 / 1560
» On Generalized Schur Numbers
Sort
View
ADBIS
2003
Springer
108views Database» more  ADBIS 2003»
16 years 2 hour ago
Evaluation of Common Counting Method for Concurrent Data Mining Queries
Data mining queries are often submitted concurrently to the data mining system. The data mining system should take advantage of overlapping of the mined datasets. In this paper we ...
Marek Wojciechowski, Maciej Zakrzewicz
APN
2003
Springer
16 years 1 hour ago
Nets Enriched over Closed Monoidal Structures
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
Eric Badouel, Jules Chenou
GW
2003
Springer
125views Biometrics» more  GW 2003»
15 years 12 months ago
Gesture Analysis: Invariant Laws in Movement
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
Sylvie Gibet, Jean-François Kamp, Franck Po...
ICALP
2010
Springer
15 years 11 months ago
On Approximate Horn Formula Minimization
The minimization problem for Horn formulas is to find a Horn formula equivalent to a given Horn formula, using a minimum number of clauses. A 2log1−ǫ (n) -inapproximability re...
Amitava Bhattacharya, Bhaskar DasGupta, Dhruv Muba...
HOTSWUP
2009
ACM
15 years 11 months ago
Dynamic Software Updates: The State Mapping Problem
We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting....
Rida A. Bazzi, Kristis Makris, Peyman Nayeri, Jun ...