25 search results - page 3 / 5 » Managing the New Telecommunications Paradigms: A Report on A... |
DAC
1998
ACM
16 years 19 days ago
1998
ACM
We have developed a new algorithm and software for graph coloring by systematically combining several algorithm and software development ideas that had crucial impact on the algor...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
COOPIS
1994
IEEE
15 years 3 months ago
1994
IEEE
We introduce query-free information retrieval, a paradigm in which queries are constructed autonomously and information relevant to a user is offered without explicit request. Que...
KDD
2006
ACM
16 years 2 days ago
2006
ACM
Measuring distance or some other form of proximity between objects is a standard data mining tool. Connection subgraphs were recently proposed as a way to demonstrate proximity be...
LREC
2008
15 years 1 months ago
2008
In the present paper we report on the development of a cluster of web services of language technology for Portuguese that we named as LXService. These web services permit the dire...