740 search results - page 111 / 148 » A Spatial Logic for Concurrency |
DAC
1999
ACM
14 years 3 days ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
IBPRIA
2007
Springer
13 years 9 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
FOIS
2008
13 years 9 months ago
2008
Many geographic terms, such as "river" and "lake", are vague, with no clear boundaries of application. In particular, the spatial extent of such features is oft...
ISMB
1993
13 years 9 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...