3324 search results - page 599 / 665 » Learning Appropriate Contexts |
CHARME
2005
Springer
15 years 4 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
DIGRA
2005
Springer
15 years 4 months ago
2005
Springer
Young people’s participation in online digital culture is one of the most efficient means by which they become proficient in the management of Information and Communications Tec...
MLMI
2005
Springer
15 years 4 months ago
2005
Springer
The automatic processing of speech collected in conference style meetings has attracted considerable interest with several large scale projects devoted to this area. This paper des...
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
An ad hoc agent environment is a way for users to interact with an ambient intelligent environment. Agents are associated with every device, service or content. Utilizing agents, ...
105
click to vote
GG
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labe...