7681 search results - page 1251 / 1537 » Typed Membrane Systems |
170
click to vote
WEA
2005
Springer
16 years 1 months ago
2005
Springer
Vectors [Extended Abstract] Pekka Orponen and Satu Elisa Schaeffer Laboratory for Theoretical Computer Science, P.O. Box 5400 FI-02015 TKK Helsinki University of Technology, Finlan...
240
click to vote
WINE
2005
Springer
16 years 1 months ago
2005
Springer
The assessment of credibility and reputation of contractors in online auctions is the key issue in providing reliable environment for customer-to-customer e-commerce. Confident re...
216
click to vote
ACMSE
2004
ACM
16 years 1 months ago
2004
ACM
Notification interfaces that continuously present peripheral information have received increasing interest within the HCI community, especially those supporting awareness of other...
203
click to vote
DOCENG
2004
ACM
16 years 29 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
158
click to vote
SIGITE
2004
ACM
16 years 29 days ago
2004
ACM
This experience report describes lessons learned using first generation tablet PCs to support active learning in an undergraduate computer science laboratory course. We learned th...