3180 search results - page 625 / 636 » Knowledge-based Document Analysis |
154
click to vote
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
The PC Desktop is a very rich repository of personal information, efficiently capturing user's interests. In this paper we propose a new approach towards an automatic persona...
138
click to vote
ISMIR
2000
Springer
15 years 6 months ago
2000
Springer
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
163
Voted
SPATIALCOGNITION
2000
Springer
15 years 6 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
131
click to vote
ICCD
1995
IEEE
15 years 6 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
149
click to vote
WCRE
1995
IEEE
15 years 6 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...