4325 search results - page 791 / 865 » Incremental computation with names |
APSEC
1998
IEEE
15 years 3 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...
STACS
1999
Springer
15 years 3 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
135
click to vote
ISWC
1998
IEEE
15 years 3 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...
ISTCS
1997
Springer
15 years 3 months ago
1997
Springer
We introduce the k-payment problem: given a total budget of N units, the problem is to represent this budget as a set of coins, so that any k exact payments of total value at most ...
121
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
The automatic detection of lung nodules attached to other pulmonary structures is a useful yet challenging task in lung CAD systems. In this paper, we propose a stratified statist...