2364 search results - page 94 / 473 » An Engine for Computing Well-Founded Models |
165
click to vote
AC
2000
Springer
15 years 8 months ago
2000
Springer
The management of large databases of hierarchical (e.g., multi-scale or multilevel) image features is a common problem in object recognition. Such structures are often represented ...
125
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
150
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...
125
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
121
Voted
PARA
2004
Springer
15 years 9 months ago
2004
Springer
Radio-frequency (RF) MEMS resonators, integrated into CMOS chips, are of great interest to engineers planning the next generation of communication systems. Fast simulations are nec...