10870 search results - page 2001 / 2174 » Model Checking Programs |
165
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
: Speech recognition is always looked upon as a fascinating field in human computer interaction. It is one of the fundamental steps towards understanding human cognition and their ...
107
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
115
click to vote
ISMIR
2004
Springer
15 years 7 months ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...
132
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
112
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...