1413 search results - page 195 / 283 » ideas 2007 |
161
click to vote
TASE
2007
IEEE
16 years 14 days ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
165
click to vote
TASE
2007
IEEE
16 years 14 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
188
click to vote
TIME
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
142
click to vote
VR
2007
IEEE
2007
IEEE
Active Text Drawing Styles for Outdoor Augmented Reality: A User-Based Study and Design Implications
16 years 14 days ago
A challenge in presenting augmenting information in outdoor augmented reality (AR) settings lies in the broad range of uncontrollable environmental conditions that may be present,...
159
click to vote
VTC
2007
IEEE
16 years 14 days ago
2007
IEEE
— In this paper, we propose a new framework for the study of cellular networks called the fluid model and we derive from this model analytical formulas for interference, outage ...