5180 search results - page 724 / 1036 » Concurrency, Time, and Constraints |
162
click to vote
IJCAI
2007
15 years 8 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
169
Voted
OPODIS
2008
15 years 8 months ago
2008
Abstract. We consider the following model of cellular networks. Each base station has a given finite capacity, and each client has some demand and profit. A client can be covered b...
215
click to vote
CATA
2006
15 years 8 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
180
click to vote
ICAD
2004
15 years 8 months ago
2004
For the ICAD conference 2004 in Sydney a sonification of ECG and other data was carried out to merge the boundaries between artistic sonification and scientific auditory display. ...
176
click to vote
CAINE
2001
15 years 8 months ago
2001
Distance learning gives benefits for training organization, which are further enhanced by using new information and communication technology. Computerbased tools provide a solutio...