Sciweavers

8486 search results - page 1575 / 1698
» Ordered Enumeration Method
Sort
View
SIGSOFT
2007
ACM
16 years 5 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
ISBI
2002
IEEE
16 years 5 months ago
Towards high performance small animal positron emission tomography
During the last decade increasingly sophisticated positron emission tomography (PET) scanners have been developed for imaging small laboratory animals. These systems often exhibit...
Calvin A. Johnson, Jürgen Seidel, Javier Pasc...
ISBI
2004
IEEE
16 years 5 months ago
Nanoparticle-Enhanced Proton Computed Tomography: A Monte Carlo Simulation Study
Proton computed tomography (pCT) has the potential to improve the accuracy of proton treatment planning, which is currently based on x-ray computed tomography (xCT). However, at t...
Reinhard Schulte, Vladimir Bashkirov, David Willia...
WWW
2009
ACM
16 years 5 months ago
Seller's credibility in electronic markets: a complex network based approach
In the last decade, there has been an explosion of online commercial activity enabled by the World Wide Web. An electronic marketplace (e-market) provides an online method to perf...
Adriano M. Pereira, Arlei Silva, Wagner Meira Jr.,...
WWW
2009
ACM
16 years 5 months ago
Triplify: light-weight linked data publication from relational databases
In this paper we present Triplify ? a simplistic but effective approach to publish Linked Data from relational databases. Triplify is based on mapping HTTP-URI requests onto relat...
Sören Auer, Sebastian Dietzold, Jens Lehmann,...
« Prev « First page 1575 / 1698 Last » Next »