7956 search results - page 313 / 1592 » Into the Future |
SEMWEB
2007
Springer
16 years 27 days 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...
186
click to vote
STORYTELLING
2007
Springer
16 years 27 days 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...
165
click to vote
TYPES
2007
Springer
16 years 27 days 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...
216
click to vote
COMPSAC
2006
IEEE
16 years 26 days 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...
169
click to vote
EDOC
2006
IEEE
16 years 25 days 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...