3052 search results - page 357 / 611 » Engineers Don't Search |
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
EDBTW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Portal Catalogs is a popular means of searching for information on the Web. They provide querying and browsing capabilities on data organized in a hierarchy, on a categor...
RIVF
2007
14 years 12 days ago
2007
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
AVI
2004
14 years 11 days ago
2004
Summarizing large multidimensional datasets is a challenging task, often requiring extensive investigation by a user to identify overall trends and important exceptions to them. W...
EACL
2006
ACL Anthology
14 years 11 days ago
2006
ACL Anthology
The Web contains vast amounts of linguistic data. One key issue for linguists and language technologists is how to access it. Commercial search engines give highly compromised acc...