5639 search results - page 510 / 1128 » Timed Abstract Non-interference |
153
Voted
BTW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Effective and efficient management and manipulation of XML documents requires stable decisions at the time a document enters the XML DBMS to provide for storage structure...
139
click to vote
CAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We generalize a learning algorithm originally devised for deterministic all-accepting weighted tree automata (wta) to the setting of arbitrary deterministic wta. The lear...
155
click to vote
CEEMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
172
Voted
CLEAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper is a documentation of the acoustic person tracking system developed by TUT. The system performance was evaluated in the CLEAR 2007 evaluation. The proposed sys...
146
click to vote
CLEAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper deals with the CLEAR 2007 evaluation on the detection of acoustic events which happen during seminars or meetings The implemented system consists in a front-en...