1536 search results - page 151 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
MEDINFO
2007
13 years 11 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
EMISA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract Due to the growing importance of alignment, compliance and manageability issues, increased attention is being paid to architectures and architecture management recently. A...
MOBILITY
2009
ACM
14 years 4 months ago
2009
ACM
Vocal systems are a well-established reality. Examples of popular voice-based applications include helpdesk services, reservation systems, and vocal mailboxes. These services, tha...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
KDD
2010
ACM
13 years 8 months ago
2010
ACM
In an online rating system, raters assign ratings to objects contributed by other users. In addition, raters can develop trust and distrust on object contributors depending on a f...