2082 search results - page 354 / 417 » Change Paths in Reasoning! |
89
Voted
ICDCS
2007
IEEE
15 years 2 months ago
2007
IEEE
Instant messaging (IM) has become increasingly popular due to its quick response time, its ease of use, and possibility of multitasking. It is estimated that there are several mil...
69
Voted
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
71
Voted
BMVC
2001
15 years 1 months ago
2001
Hue provides a useful and intuitive cue that is used in a variety of computer vision applications. Hue is an attractive feature as it captures intrinsic information about the colo...
78
Voted
AIIDE
2008
15 years 1 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
CANDC
2005
ACM
15 years 26 days ago
2005
ACM
The workshop will explore in depth the nature of freedom and constraint in the creative process in digital fine art from the perspective of embodied mind. The problem is crucial t...