Search Sciweavers | Sciweavers

225 search results - page 1 / 45

» Looking into the Future

click to vote

SIGUCCS
2004
ACM

132views Information Technology» more SIGUCCS 2004»

Online solutions: looking to the future of knowledgeBase management

13 years 10 months ago

Download www.mio.uwosh.edu

The Princeton University Help Desk KnowledgeBase (KB) is a searchable online information system that publishes Princetonspecific computer solutions to better serve the University ...

Annie Saunders

claim paper

Read More »

click to vote

MFCS
2009
Springer

145views Theoretical Computer Science» more MFCS 2009»

Future-Looking Logics on Data Words and Trees

13 years 11 months ago

Download www.lsv.ens-cachan.fr

In a data word or a data tree each position carries a label from a ﬁnite alphabet and a data value from an inﬁnite domain. Over data words we consider the logic LTL↓ 1(F), th...

Diego Figueira, Luc Segoufin

claim paper

Read More »

click to vote

IFIP
1998
Springer

100views Programming Languages» more IFIP 1998»

Looking into the Future

13 years 9 months ago

Download www.professionals.am

Jens O. Riis

claim paper

Read More »