1916 search results - page 160 / 384 » Reasoning with class algebra |
150
click to vote
CVIU
2008
15 years 4 months ago
2008
We propose a novel scheme for using supervised learning for function-based classification of objects in 3D images. During the learning process, a generic multi-level hierarchical ...
136
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
140
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
170
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
134
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...