1360 search results - page 76 / 272 » Reasoning on Workflow Executions |
77
Voted
DAGSTUHL
2008
15 years 5 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
116
Voted
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
Although analogue phonograph recordings (LPs) have long shelf lives, there are many reasons for initiating research into proper procedures for their digital preservation. In order...
112
Voted
CAD
2002
Springer
15 years 3 months ago
2002
Springer
A reasoning Boolean operation based CAD modeling approach applied to construct heterogeneous material objects is presented. This reasoning Boolean operation consists of a merging ...
126
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
DEBU
2008
15 years 3 months ago
2008
This paper describes the internal features of the Saxon XQuery processor that make the most significant contribution to its speed of execution. For each of the features, an attemp...