4235 search results - page 243 / 847 » Process Spaces |
198
click to vote
PDPTA
1996
15 years 7 months ago
1996
The problem of eciently retrieving and ranking documents from a huge collection according to their relevance to a research topic is addressed. A broad class of queries is de ned a...
168
click to vote
IM
2007
15 years 6 months ago
2007
Today’s search engines are increasingly required to broaden their capabilities beyond free-text search. More complex features, such as supporting range constraints over numeric ...
148
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
160
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
When tracking a target using phase-only signal returns, range ambiguities are a major issue. In this work, a look-up table between phase measurement space and target location spac...