6978 search results - page 1079 / 1396 » On Proofs in System P |
182
click to vote
CATA
2003
15 years 8 months ago
2003
Binary morphological operations are a building block in many computer vision applications. Several iterative morphological operations are commonly performed for image analysis res...
160
click to vote
DGO
2003
15 years 8 months ago
2003
This paper explores the use of process technology to create formal process models to increase the level of trust that stakeholders have in digital government. Digital Government s...
166
click to vote
ECIS
2003
15 years 8 months ago
2003
Relationship analysis aims at supporting the eliciting and documenting of potential relationship structures of an application domain by providing analysts with a systematic techni...
167
click to vote
SBBD
2004
15 years 8 months ago
2004
Traditional requirements for persistence layers do not consider limitations of the development platforms available for mobile devices. In order to facilitate the development of ap...
176
click to vote
TREC
2001
15 years 8 months ago
2001
We used the YFILTER filtering system for experiments on updating profiles and setting thresholds. We developed a new method of using language models for updating profiles that is ...