5599 search results - page 85 / 1120 » Abstract State Services |
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes a university-based Forensics Training Center (FTC) established by a Department of Justice grant for the purpose of improving the ability of state and local la...
128
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
111
click to vote
ENTCS
2007
15 years 1 months ago
2007
d abstract) Paolo Zuliani 1 Department of Computer Science Princeton University Princeton, NJ 08544, USA In this paper we offer a programming approach to quantum computation usin...
108
click to vote
CSCLP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
124
click to vote
JMM2
2007
15 years 1 months ago
2007
Abstract— Activity recognition in video streams is increasingly important for both the computer vision and artificial intelligence communities. Activity recognition has many app...