1350 search results - page 133 / 270 » Reasoning about Staged Computation |
181
Voted
ICPR
2008
IEEE
16 years 2 hour ago
2008
IEEE
We study models that characterize pen trajectories of online handwritten characters in a fine manner. We propose radical based fine trajectory hidden Markov models (HMMs), which...
118
Voted
BROADNETS
2007
IEEE
15 years 12 months ago
2007
IEEE
— The expected VoIP call capacity in a one hop IEEE 802.11b network with G.711 voice codec is about 85 simultaneous calls, but the actual observed capacity is only 5 calls even a...
142
click to vote
COMPSAC
2007
IEEE
15 years 12 months ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
128
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
135
click to vote
ENC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...