Sciweavers

1134 search results - page 154 / 227
» Towards a Theory of Information Systems: The FRISCO Approach
Sort
View
FATES
2004
Springer
14 years 17 days ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
CLEF
2009
Springer
13 years 6 months ago
Unsupervised Morphological Analysis by Formal Analogy
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...
Jean-François Lavallée, Philippe Lan...
MM
2004
ACM
90views Multimedia» more  MM 2004»
14 years 2 months ago
Probability fusion for correlated multimedia streams
The fusion of multiple correlated observations of a multimedia system is a research problem arising in many multimedia applications. In this paper, we propose a novel framework fo...
Pradeep K. Atrey, Mohan S. Kankanhalli
SIGCOMM
2003
ACM
14 years 2 months ago
A comparison of hard-state and soft-state signaling protocols
One of the key infrastructure components in all telecommunication networks, ranging from the telephone network, to VC-oriented data networks, to the Internet, is its signaling sys...
Ping Ji, Zihui Ge, James F. Kurose, Donald F. Tows...
ATAL
2008
Springer
13 years 11 months ago
The identification of users by relational agents
Virtual agents designed to establish relationships with more than one user must be able to identify and distinguish among those users with high reliability. We descr...
Daniel Schulman, Mayur Sharma, Timothy W. Bickmore