886 search results - page 102 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
ENTCS
2006
14 years 10 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
MVA
2007
14 years 11 months ago
2007
The problem of reconstructing the 3D face using one image captured from a viewpoint arises in many fields of science and engineering, this paper propose the novel approach for rec...
ECIR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. In focussed XML retrieval, a retrieval unit is an XML element that not only contains information relevant to a user query, but also is specific to the query. INEX defin...
ADC
2009
Springer
15 years 4 months ago
2009
Springer
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...
104
click to vote
ADMA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Crawling the deep web often requires the selection of an appropriate set of queries so that they can cover most of the documents in the data source with low cost. This ca...