3701 search results - page 380 / 741 » Anatomical Information Science |
227
Voted
IFIPTCS
2000
15 years 11 months ago
2000
We present an index to search a two-dimensional pattern of size m m in a two-dimensional text of size n n, even when the pattern appears rotated in the text. The index is based on ...
237
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
225
click to vote
RTA
1995
Springer
15 years 11 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
161
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...
180
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...