4075 search results - page 435 / 815 » Modeling Distributed Algorithm Using B |
186
click to vote
KCAP
2005
ACM
16 years 11 days ago
2005
ACM
In this document, we describe a light-weighted ontology mediation method that allows users to send semantic queries to distant data repositories to browse for learning object meta...
162
click to vote
TMI
2008
15 years 6 months ago
2008
Tomographic reconstruction from positron emission tomography (PET) data is an ill-posed problem that requires regularization. An attractive approach is to impose an 1-regularizatio...
186
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
161
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We seek a framework that addresses localization, detection and recognition of man-made objects in natural-scene images in a unified manner. We propose to model artificial structur...
184
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...