4781 search results - page 361 / 957 » Complexity at large |
119
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
107
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
Cheminformatic Assisted Image Array (CAIA) is a data mining and visualization tool linking chemical structures to microscope images of cells incubated with prospective bioimaging ...
153
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
114
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes a new type of Information/Communication system or Inquiry System to support the investigation by large groups (e.g. thousands of people) of complex topics abou...
131
click to vote
VRST
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present the work undertaken by the Advanced Interfaces Group at the University of Manchester into the design and development of a system to support large numbers ...