2414 search results - page 323 / 483 » Reasoning Support for OWL-E |
218
click to vote
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
208
Voted
IWCMC
2006
ACM
16 years 25 days ago
2006
ACM
The concept of multi-hop CDMA cellular networks has been around for sometime now. It is a widely accepted assumption that using multi-hopping in cellular networks will increase th...
155
click to vote
MSWIM
2006
ACM
16 years 25 days ago
2006
ACM
Nowadays network bandwidth is increasing continuously for endusers and network providers. Network monitoring tools have to be able to support these high-speed networks, processing...
203
click to vote
NETGAMES
2006
ACM
16 years 25 days ago
2006
ACM
Massive Multiplayer Online Games with their virtual gaming worlds grow in user numbers as well as in the size of the virtual worlds. With this growth comes a significant increase...
188
click to vote
SOFTVIS
2006
ACM
16 years 25 days ago
2006
ACM
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...