2702 search results - page 289 / 541 » Practically Applicable Formal Methods |
102
Voted
GIL
2009
15 years 14 days ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
140
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
—Database technology is the significant part of computer science and technology, as the core technology of information management, database technology is widely used in the field...
148
Voted
CASC
2006
Springer
15 years 6 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
112
Voted
ACMDIS
2004
ACM
15 years 8 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
136
Voted
ISVC
2010
Springer
15 years 1 months ago
2010
Springer
Physically-based image synthesis requires measured spectral quantities for illuminants and reflectances as part of the virtual scene description to compute trustworthy lighting si...