5042 search results - page 954 / 1009 » Visions for application development on hybrid computing syst... |
128
Voted
IJCAI
2007
15 years 6 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
135
Voted
WIS
2004
15 years 6 months ago
2004
The sensor networks, web click stream and astronomical applications generate a continuous flow of data streams. Most likely data streams are generated in a wireless environment. Th...
136
Voted
WSC
2001
15 years 6 months ago
2001
Large-scale military deployments require transporting equipment and personnel over long distances in a short time. Planning an efficient airlift system is complicated and several ...
151
click to vote
JUCS
2006
15 years 4 months ago
2006
: The lack of appropriate and accurate information on the ability of a frail individual to accomplish specific task oriented activities can place the individual at risk or result i...
128
Voted
PAMI
2006
15 years 4 months ago
2006
A binary linear programming formulation of the graph edit distance for unweighted, undirected graphs with vertex attributes is derived and applied to a graph recognition problem. ...