585 search results - page 68 / 117 » Strategy Logic |
121
click to vote
NC
2008
15 years 1 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
118
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
185
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
123
click to vote
APWEB
2006
Springer
15 years 5 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...