7956 search results - page 313 / 1592 » Into the Future |
108
Voted
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
We are interested in replacing human processing of web resources by automated processing. Based on an experimental system we identify uncertainty issues which make this process dif...
196
Voted
STORYTELLING
2007
Springer
16 years 1 months ago
2007
Springer
In Interactive Digital Storytelling (IDS), new design processes are needed for authors to fully embrace the emergent properties of this dynamic novel medium. As a counterpart to tr...
187
click to vote
TYPES
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
235
click to vote
COMPSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper discusses foundations of conventional style of rule mining in which rules are extracted from a data table. Rule mining mainly uses the structure of a table, data partit...
188
Voted
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...