6343 search results - page 910 / 1269 » Development of a Cartographic Language |
185
click to vote
IADIS
2003
15 years 8 months ago
2003
With the consolidation of the Internet and other computer networks, the need of sophisticated systems to retrieve information increased enormously. In these networks, information ...
206
click to vote
SDL
2001
15 years 8 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
155
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Proactive computing reinforces the need for non-command interfaces that fulfill the user’s intentions without explicit commands. Eye gaze is a natural modality to be used in th...
125
click to vote
WSC
2001
15 years 8 months ago
2001
A car-following and lane-changing microsimulation model of a two-lane road section has been written in SLX (Simulation Language with eXtensibility) as part of an extensive researc...
189
click to vote
JISBD
2003
15 years 8 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...