2954 search results - page 411 / 591 » Beyond |
153
click to vote
ENTCS
2007
15 years 5 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
142
click to vote
JUCS
2006
15 years 5 months ago
2006
: The convergence of need between improved clinical care and post genomics research presents a unique challenge to restructuring information flow so that it benefits both without c...
131
click to vote
EOR
2007
15 years 5 months ago
2007
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...
158
click to vote
NETWORK
2008
15 years 5 months ago
2008
Admission control plays a very important role in wireless systems, as it is one of the basic mechanisms for ensuring the quality of service offered to users. Based on the availabl...
131
click to vote
PAMI
2008
15 years 5 months ago
2008
Beyond conventional linear and kernel-based feature extraction, we present a more generalized formulation for feature extraction in this paper. Two representative algorithms using ...