Sciweavers

789 search results - page 132 / 158
» A Language Approach to Modeling Human Behaviors
Sort
View
ACL
2006
13 years 9 months ago
Analysis and Repair of Name Tagger Errors
Name tagging is a critical early stage in many natural language processing pipelines. In this paper we analyze the types of errors produced by a tagger, distinguishing name classi...
Heng Ji, Ralph Grishman
AGENTS
2001
Springer
14 years 13 days ago
A fuzzy model of reputation in multi-agent systems
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
Javier Carbo Rubiera, José M. Molina L&oacu...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
14 years 8 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
MM
2005
ACM
135views Multimedia» more  MM 2005»
14 years 1 months ago
Emotion-based music recommendation by association discovery from film music
With the growth of digital music, the development of music recommendation is helpful for users. The existing recommendation approaches are based on the users’ preference on musi...
Fang-Fei Kuo, Meng-Fen Chiang, Man-Kwan Shan, Suh-...
PADL
2001
Springer
14 years 10 days ago
Specifying Authentication Protocols Using Rewriting and Strategies
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
Horatiu Cirstea