5693 search results - page 713 / 1139 » Socially relevant computing |
235
click to vote
ICDT
2009
ACM
15 years 4 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
185
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The paper presents a methodology to enhance the stiffness analysis of parallel manipulators with parallelogram-based linkage. It directly takes into account the influence...
167
click to vote
IJKDB
2010
15 years 4 months ago
2010
Searching for repeated features characterizing biological data is fundamental in computational biology. When biological networks are under analysis, the presence of repeated modul...
205
click to vote
IPM
2010
15 years 4 months ago
2010
Focusing on the context of XML retrieval, in this paper we propose a general methodology for managing structured queries (involving both content and structure) within any given st...
178
click to vote
JMLR
2010
15 years 1 months ago
2010
Of all of the challenges which face the selection of relevant features for predictive data mining or pattern recognition modeling, the adaptation of computational intelligence tec...