2002 search results - page 147 / 401 » Interactive technical illustration |
150
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
155
click to vote
ICADL
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes our efforts to develop a toolset and process for automated metadata extraction from large, diverse, and evolving document collections. A number of federal agen...
128
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
According to Layne and Lee (2001), electronic Government (e-Government, e-Gov) progresses towards higher levels of integration and interoperability among and between government le...
129
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
The latest achievements in the field of mobile networks and ubiquitous computing enable the integration and combination of technologies like Internet, Java, and multimedia in a n...
155
click to vote
ISMAR
2002
IEEE
15 years 9 months ago
2002
IEEE
Mobile Augmented Reality applications promise substantial savings in time and costs for product designers, in particular, for large products requiring scale models and expensive c...