Sciweavers

1358 search results - page 208 / 272
» Semantic Group Formation
Sort
View
JAR
2008
81views more  JAR 2008»
15 years 6 months ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller
DATASCIENCE
2002
96views more  DATASCIENCE 2002»
15 years 6 months ago
XML representation and management of temporal information for web-based cultural heritage applications
In this paper we survey the recent activities and achievements of our research group in the deployment of XMLrelated technologies in Cultural Heritage applications concerning the ...
Fabio Grandi
ML
2007
ACM
15 years 5 months ago
Status report: specifying javascript with ML
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
David Herman, Cormac Flanagan
ACL
2010
15 years 4 months ago
Beyond NomBank: A Study of Implicit Arguments for Nominal Predicates
Despite its substantial coverage, NomBank does not account for all withinsentence arguments and ignores extrasentential arguments altogether. These arguments, which we call implic...
Matthew Gerber, Joyce Yue Chai
ICMCS
2009
IEEE
153views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Advertising based on users' photos
In this paper, we tackle the problem of learning a user's interest from his photo collections and suggesting relevant ads. We address two key challenges in this work: 1) unde...
Xin-Jing Wang, Mo Yu, Lei Zhang 0001, Wei-Ying Ma