1791 search results - page 221 / 359 » Semantics and Complexity of SPARQL |
150
click to vote
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
152
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
135
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
We describe extensions to a finite-state dialogue manager and its author scripting language that enable control over content repetition during tutorial dialogue. The problem of co...
132
click to vote
E4MAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. While agents and environments are two intimately connected concepts, most approaches for multi-agent development focus on the agent-specific part of the system, whereas ...
154
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...