2623 search results - page 188 / 525 » tools 2010 |
172
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
We present the Entity Name System (ENS), an enabling infrastructure, which can host descriptions of named entities and provide unique identifiers, on large-scale. In this way, it o...
171
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
235
click to vote
ICCS
2010
Springer
15 years 8 months ago
2010
Springer
We present a method for automatically creating large-scale semantic networks from natural language text, based on deep semantic analysis. We provide a robust and scalable implement...
171
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
166
Voted
DSD
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...