1042 search results - page 106 / 209 » Representing real numbers in a generalized numeration system |
137
click to vote
MOBIWAC
2006
ACM
15 years 7 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
126
click to vote
KDD
2004
ACM
15 years 6 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...
127
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
114
Voted
TITB
2010
14 years 8 months ago
2010
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...
140
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...