10890 search results - page 1727 / 2178 » Automatic Complexity Analysis |
214
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
191
click to vote
TVCG
2002
15 years 6 months ago
2002
Image databases are nowadays widely exploited in a number of different contexts, ranging from history of art, through medicine, to education. Existing querying paradigms are based ...
210
click to vote
SCFBM
2008
15 years 6 months ago
2008
Flow is an open source software application for clinical and experimental researchers to perform exploratory data analysis, clustering and annotation of flow cytometric data. Flow...
167
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Up to now, mostly blunt human-robot impacts were investigated in the robotics literature. In this context, the influence of robot mass and velocity during rigid impacts with a...
192
click to vote
JSS
2010
15 years 5 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...