4460 search results - page 636 / 892 » Formal methods for interactive systems |
215
click to vote
EGOV
2005
Springer
16 years 2 days ago
2005
Springer
It is generally considered that a key component of electronic government in the future will be electronic voting, as a means of facilitating the participation of citizens in electi...
185
click to vote
EDM
2008
15 years 8 months ago
2008
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...
171
click to vote
IJCSA
2006
15 years 6 months ago
2006
A conflict is a common phenomenon that results from the interaction between both individuals and groups of individuals. For the development of knowledge-based systems, one needs t...
196
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose a visual recognition system that is designed for fine-grained visual categorization. The system is composed of a machine and a human user. The user, who is unable to c...
143
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...