7986 search results - page 289 / 1598 » Computational Science and its Applications |
150
click to vote
GI
2005
Springer
16 years 5 days ago
2005
Springer
: Voice user interfaces (VUIs) have become very common for telephone based applications, e.g. call centers and value-added services. Though there are advantages for further fields ...
169
click to vote
RTA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
157
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
In asynchronous collaborative applications, users usually collaborate accessing and modifying shared information independently. We have designed and implemented a replicated objec...
188
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
192
Voted
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Despite its usefulness in many applications, the medial axis transform (MAT) is very sensitive to the change of the boundary in the sense that, even if a shape is perturbed only s...