377 search results - page 23 / 76 » Getting to the Point... |
ICMB
2005
IEEE
14 years 1 months ago
2005
IEEE
This article investigates the growing complexity and connectivity between two former separated interaction spaces – the real and the virtual world. It is our attempt to augment ...
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
DCC
2008
IEEE
13 years 7 months ago
2008
IEEE
This work is inspired by a paper of Hertel and Pott on maximum non-linear functions [8]. Geometrically, these functions correspond with quasi-quadrics; objects introduced in [5]. ...
SODA
2001
ACM
13 years 8 months ago
2001
ACM
In the bus network problem, the goal is to generate a plan for getting from point X to point Y within a city using buses in the smallest expected time. Because bus arrival times a...
HT
2009
ACM
14 years 1 months ago
2009
ACM
Web pages such as news and shopping sites often use modular layouts. When used effectively this practice allows authors to present clearly large amounts of information in a single...