247 search results - page 45 / 50 » Development graphs - Proof management for structured specifi... |
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an algorithm to find piecewise linear skeletons of hand-written characters by using principal curves. The development of the method was inspired by the apparent similar...
ELPUB
2006
ACM
15 years 3 months ago
2006
ACM
Walking is becoming increasingly popular as a leisure activity across Europe. Outdoor equipment has modernized, gained flexibility and lost weight. GPS devices are gaining popular...
108
Voted
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
142
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we propose a novel framework called SmartMiner for web usage mining problem which uses link information for producing accurate user sessions and frequent navigation...
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
Large-scale database integration requires a significant cost in developing a global schema and finding mappings between the global and local schemas. Developing the global schema r...