9015 search results - page 492 / 1803 » Using Structural Computing to Support Information Integratio... |
187
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
How do people work with large document collections? We studied the effects of different kinds of analysis tools on the behavior of people doing rapid large-volume data assessment,...
161
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
The design and implementation of a conceptual model, CAFE (a Categorization Assistant For E-mail), is described. The model supports the organization, searching, and retrieval of i...
232
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
157
click to vote
ICVS
2003
Springer
16 years 20 hour ago
2003
Springer
This paper shows how to construct a linear deformable model for graph structure by performing principal components analysis (PCA) on the vectorised adjacency matrix. We commence b...
169
click to vote
KIVS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...