Sciweavers

6016 search results - page 1133 / 1204
» The semantics of graphical languages
Sort
View
CORR
2008
Springer
99views Education» more  CORR 2008»
13 years 10 months ago
The meaning of concurrent programs
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
Victor Yodaiken
CORR
2008
Springer
120views Education» more  CORR 2008»
13 years 10 months ago
XQuery Join Graph Isolation
A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional X...
Torsten Grust, Manuel Mayr, Jan Rittinger
APIN
2006
109views more  APIN 2006»
13 years 10 months ago
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems
The core issue of analogical reasoning is the transfer of relational knowledge from a source case to a target problem. Visual analogical reasoning pertains to problems containing ...
Patrick W. Yaner, Ashok K. Goel
FTDB
2008
82views more  FTDB 2008»
13 years 10 months ago
Information Extraction
The automatic extraction of information from unstructured sources has opened up new avenues for querying, organizing, and analyzing data by drawing upon the clean semantics of str...
Sunita Sarawagi
FUIN
2008
147views more  FUIN 2008»
13 years 10 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
« Prev « First page 1133 / 1204 Last » Next »