4235 search results - page 243 / 847 » Process Spaces |
154
Voted
PDPTA
1996
15 years 5 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...
135
Voted
IM
2007
15 years 3 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 ...
120
click to vote
MICAI
2000
Springer
15 years 7 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...
127
Voted
CORR
2010
Springer
15 years 4 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...
129
Voted
ICASSP
2011
IEEE
14 years 7 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...