2308 search results - page 355 / 462 » Representing Symbolic Reasoning |
210
click to vote
ISPW
2007
IEEE
16 years 19 days ago
2007
IEEE
The possible variability of project delay is useful information to understand and mitigate the project delay risk. However, it is not sufficiently considered in the literature con...
152
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
159
click to vote
SIES
2007
IEEE
16 years 19 days ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
146
click to vote
SRDS
2007
IEEE
16 years 19 days ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
161
click to vote
ACCV
2007
Springer
16 years 16 days ago
2007
Springer
We describe an approach to segmenting foreground regions corresponding to a group of people into individual humans. Given background subtraction and ground plane homography, hierar...