Sciweavers

3408 search results - page 155 / 682
» Logic, language, information and computation
Sort
View
CICLING
2007
Springer
14 years 4 months ago
A Competitive Term Selection Method for Information Retrieval
Term selection process is a very necessary component for most natural language processing tasks. Although different unsupervised techniques have been proposed, the best results ar...
Franco Rojas López, Héctor Jim&eacut...
MODELS
2009
Springer
14 years 4 months ago
Catch Me If You Can - Debugging Support for Model Transformations
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
Johannes Schönböck, Gerti Kappel, Angeli...
DAGSTUHL
1998
13 years 11 months ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...
EIS
2011
253views ECommerce» more  EIS 2011»
13 years 5 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
DBSEC
2008
188views Database» more  DBSEC 2008»
13 years 11 months ago
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
Manachai Toahchoodee, Indrakshi Ray