11397 search results - page 2060 / 2280 » A Relational Abstraction for Functions |
194
click to vote
IPMI
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Recent advances in molecular biology are providing new opportunities for breast cancer imaging. Our approach uses ultrasound to image viscoelastic features of tumors. The...
172
click to vote
MADNES
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. This paper contains the summary of a panel on authentication in constrained environments held during the Secure MADNES’05 Workshop. These were transcribed from hand-wri...
196
click to vote
OOPSLA
2005
Springer
16 years 23 days ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
237
click to vote
OOPSLA
2005
Springer
16 years 23 days ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
225
click to vote
SEMWEB
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...