9405 search results - page 1629 / 1881 » Computing a Model of Set Theory |
139
click to vote
STACS
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
144
Voted
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
Many sophisticated solutions have been proposed to reduce the geometric complexity of 3D meshes. A less studied problem is how to preserve on a simplified mesh the detail (e.g. co...
113
Voted
ISMB
2000
15 years 6 months ago
2000
Ontologies are specifications of the concepts in a given field, and of the relationships among those concepts. The development of ontologies for molecular-biology information and ...
145
click to vote
ASE
2004
15 years 4 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
176
Voted
CORR
2011
Springer
15 years 1 days ago
2011
Springer
Cloud computing is a paradigm that has the potential to transform and revolutionalize the next generation IT industry by making software available to end-users as a service. A clo...