3052 search results - page 357 / 611 » Engineers Don't Search |
107
Voted
AMAST
2006
Springer
15 years 4 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
15 years 4 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...
103
Voted
RIVF
2007
15 years 2 months 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
15 years 2 months 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...
100
click to vote
EACL
2006
ACL Anthology
15 years 2 months 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...