1113 search results - page 88 / 223 » Automated Approaches for Classifying Structures |
120
Voted
ERLANG
2004
ACM
15 years 9 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
109
Voted
ER
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
157
Voted
ILP
1999
Springer
15 years 7 months ago
1999
Springer
Most real-world data is heterogeneous and richly interconnected. Examples include the Web, hypertext, bibliometric data and social networks. In contrast, most statistical learning...
119
Voted
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
Spatial resolution of Magnetic Resonance Angiography (MRA) makes it a powerful tool for diagnosis and surgical planning. However, image interpretation and visualization tools are ...
131
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...