7853 search results - page 1287 / 1571 » Learning from Each Other |
195
Voted
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
161
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
136
Voted
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
160
click to vote
ESEM
2010
ACM
15 years 7 months ago
2010
ACM
Although there has been significant research into gender regarding educational and workplace practices, there has been little investigation of gender differences pertaining to pro...
189
click to vote
DBSEC
2009
15 years 7 months ago
2009
There is an increasing need for sharing data repositories containing personal information across multiple distributed and private databases. However, such data sharing is subject t...