2638 search results - page 313 / 528 » Frameworks for Reasoning about Agent Based Systems |
168
click to vote
DSS
2008
15 years 6 months ago
2008
Most recommender systems present recommended products in lists to the user. By doing so, much information is lost about the mutual similarity between recommended products. We prop...
157
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
TORRENT is an EU-Supported Framework 5 project that is showing how intelligent control and negotiation capabilities can be built into access networks so as to give the residential...
197
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
181
click to vote
AAAI
2007
15 years 9 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...
202
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...