4745 search results - page 174 / 949 » Discretization: An Enabling Technique |
182
click to vote
NHM
2010
15 years 1 months ago
2010
We introduce the coolest path problem, which is a mixture of two well-known problems from distinct mathematical fields. One of them is the shortest path problem from combinatorial ...
225
click to vote
EMS
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...
152
click to vote
TARK
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
166
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
156
click to vote
CGF
2008
15 years 6 months ago
2008
Finite element simulations in computer graphics are typically based on tetrahedral or hexahedral elements, which enables simple and efficient implementations, but in turn requires...