8190 search results - page 1566 / 1638 » From Timed to Hybrid Systems |
144
click to vote
FLAIRS
1998
15 years 7 months ago
1998
Computer assisted tomography (CAT) systems demandlarge amounts of time and space. In this paper, wedescribe an approachto solving the CAT problemusing several AItechniques includi...
159
click to vote
AAAI
1993
15 years 7 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
155
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
The use of energy storage devices in homes has been advocated as one of the main ways of saving energy and reducing the reliance on fossil fuels in the future Smart Grid. However,...
172
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
In this paper we present TwitterSigns, an approach to display microblogs on public displays. Two different kinds of microblog entries (tweets) are selected for display: Tweets tha...
183
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...