2696 search results - page 331 / 540 » Semantic Abstraction and Anaphora |
154
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
187
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
181
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: Some emerging trends in the recent development of the WWW can be observed. These trends are technical, like Web Services, as well as semantic, like the integration of ont...
150
click to vote
CONTEXT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
178
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The next phase envisioned for the World Wide Web is automated ad-hoc interaction between intelligent agents, web services, databases and semantic web enabled applications...