4178 search results - page 583 / 836 » Similarity Patterns in Language |
156
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
159
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
Discovery of semantic associations in Semantic Web ontologies is an important task in various analytical activities. Several query languages and storage systems have been designed ...
170
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...
178
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
187
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...