545 search results - page 108 / 109 » Concepts and models for typing events for event-based system... |
ECAI
2004
Springer
13 years 9 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Click fraud is jeopardizing the industry of Internet advertising. Internet advertising is crucial for the thriving of the entire Internet, since it allows producers to advertise t...
JHSN
2000
13 years 5 months ago
2000
Telemedicine is many things to many people. Only until a few years ago, telemedicine was equated to video teleconferencing between physicians, while nowadays, perhaps the most acti...
INFOCOM
2011
IEEE
12 years 9 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
DESRIST
2009
Springer
13 years 10 months ago
2009
Springer
Simon’s The Sciences of the Artificial is rightly influential as a founding text in design research in the information systems field (IS). Simon’s contributions in the same vo...