1573 search results - page 130 / 315 » Signs and Formal Concepts |
122
click to vote
ECMDAFA
2008
Springer
15 years 3 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
111
click to vote
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
We formalize the associative bandit problem framework introduced by Kaelbling as a learning-theory problem. The learning environment is modeled as a k-armed bandit where arm payof...
117
click to vote
CSCWD
2009
Springer
15 years 8 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
This study extends the concept of weak and strong ties to the relationship between an individual and a project, in the context of a formal review process. Using data collected fro...
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...