5550 search results - page 579 / 1110 » Different Approaches to Proof Systems |
219
Voted
HT
2009
ACM
15 years 5 months ago
2009
ACM
In this paper we describe a model of social and collaborative search based on the use of tags. First we will introduce the issues that drove us to the definition of this model, an...
164
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Automatic Language Identification (LID) in music has received significantly less attention than LID in speech. Here, we study the problem of LID in music videos uploaded on YouT...
204
Voted
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
180
click to vote
NOMS
2006
IEEE
16 years 1 months ago
2006
IEEE
—Network identity management system, in theory, is conceived as the solution to many identity-related issues burgeoning day-to-day. These issues, which need to be addressed, rang...
199
Voted
APSEC
2005
IEEE
16 years 28 days ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...