4987 search results - page 370 / 998 » Fuzzifying P Systems |
150
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
125
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Collaborative tagging used in online social content systems is naturally characterized by many synonyms, causing low precision retrieval. We propose a mechanism based on user pref...
174
click to vote
AAI
2000
15 years 6 months ago
2000
: This paper describes how ADEPT's agent-based design and implementation philosophy was used to prototype a business process management system for a real-world application. Th...
192
Voted
JECR
2000
15 years 6 months ago
2000
Software agents are a major innovation in how people use information systems, and they have parallels with how Decision Support Systems (DSS) support human decision-making. A DSS ...
156
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
How do mobility and presence feature as aspects of social life? Using a case study of paroled offenders tracked via Global Positioning System (GPS), we explore the ways that locat...