1692 search results - page 6 / 339 » Applying Science Models for Search |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...
FCT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
PAMI
2006
13 years 8 months ago
2006
A visual search is required when applying a recognition process on a scene containing multiple objects. In such cases, we would like to avoid an exhaustive sequential search. This...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...