2409 search results - page 103 / 482 » Logical systems for structured specifications |
197
click to vote
CC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
113
click to vote
HICSS
2006
IEEE
16 years 4 days ago
2006
IEEE
Information systems often present virtual spaces that are sufficient to enable important human interaction. By enabling such interaction, systems designers are inherently creating...
135
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Bandura’s social cognitive construct “perceived selfefficacy” has been used widely to understand individual behavior as a function of domain-specific beliefs about personal ...
153
click to vote
EUSFLAT
2001
15 years 7 months ago
2001
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
155
click to vote
DOCENG
2009
ACM
16 years 18 days ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...