5981 search results - page 95 / 1197 » time 2006 |
101
click to vote
CSR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
89
Voted
ICCD
1999
IEEE
15 years 5 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
109
Voted
AIIDE
2007
15 years 3 months ago
2007
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
111
click to vote
JMLR
2002
15 years 13 days ago
2002
The temporal distance between events conveys information essential for numerous sequential tasks such as motor control and rhythm detection. While Hidden Markov Models tend to ign...
ENGL
2007
15 years 22 days ago
2007
— Visually impaired find their navigation difficult as they often lack the needed information for bypassing obstacles and hazards. Electronic Travel Aids (ETAs) are devices that ...