Sciweavers

7715 search results - page 974 / 1543
» Visual Rules Modeling
Sort
View
158
Voted
FSMNLP
2005
Springer
16 years 12 days ago
An FST Grammar for Verb Chain Transfer in a Spanish-Basque MT System
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
Iñaki Alegria, Arantza Díaz de Ilarr...
PKDD
2005
Springer
110views Data Mining» more  PKDD 2005»
16 years 11 days ago
k-Anonymous Patterns
It is generally believed that data mining results do not violate the anonymity of the individuals recorded in the source database. In fact, data mining models and patterns, in orde...
Maurizio Atzori, Francesco Bonchi, Fosca Giannotti...
SENSYS
2004
ACM
16 years 9 days ago
Decentralized synchronization protocols with nearest neighbor communication
A class of synchronization protocols for dense, large-scale sensor networks is presented. The protocols build on the recent work of Hong, Cheow, and Scaglione [5, 6] in which the ...
Dennis Lucarelli, I-Jeng Wang
ICTAC
2004
Springer
16 years 7 days ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
152
Voted
TACAS
2004
Springer
135views Algorithms» more  TACAS 2004»
16 years 6 days ago
Liveness with Incomprehensible Ranking
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck