3706 search results - page 281 / 742 » KtSeqC: System Description |
199
click to vote
ACMACE
2005
ACM
16 years 9 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...
130
click to vote
ASIACRYPT
2005
Springer
16 years 9 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...
162
click to vote
COORDINATION
2005
Springer
16 years 8 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 ...
178
click to vote
EWMF
2005
Springer
16 years 8 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...
170
click to vote
FROCOS
2005
Springer
16 years 8 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...