4419 search results - page 101 / 884 » Information Science in Transition |
FC
2010
Springer
15 years 7 months ago
2010
Springer
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
125
click to vote
IJMSO
2007
15 years 3 months ago
2007
: In Japan, it is important to provide teachers of Information Technology Education (IT) with a powerful help system that can locate and provide access to a variety of useful infor...
112
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
During the last decade a variety of information technologies have emerged relating to business process
156
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
101
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...