3706 search results - page 394 / 742 » System Description: E-KRHyper |
201
click to vote
ACMACE
2005
ACM
16 years 12 days ago
2005
ACM
In this paper we describe an idea to develop interactive narrative with iTV. We propose a framework to deliver television event, usually dramas or cartoons, having multiple and se...
131
click to vote
ASIACRYPT
2005
Springer
16 years 11 days ago
2005
Springer
The XSL “algorithm” is a method for solving systems of multivariate polynomial equations based on the linearization method. It was proposed in 2002 as a dedicated method for ex...
167
click to vote
COORDINATION
2005
Springer
16 years 11 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
180
click to vote
EWMF
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we review two techniques for topic discovery in collections of text documents (Latent Semantic Indexing and K-Means clustering) and present how we integrated them in...
172
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...