1726 search results - page 153 / 346 » Traits: Tools and Methodology |
94
Voted
FECS
2010
14 years 9 months ago
2010
- With computational tools becoming more integrated into the education experience, the accessibility of college website homepages is becoming increasingly important for several rea...
91
Voted
ESAW
2009
Springer
14 years 8 months ago
2009
Springer
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...
116
Voted
BMCBI
2007
14 years 11 months ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
106
Voted
JFP
2007
14 years 10 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
79
Voted
IUI
2006
ACM
15 years 4 months ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...