Sciweavers

10271 search results - page 509 / 2055
» Computer Science
Sort
View
CONCUR
2010
Springer
15 years 7 months ago
Flat Coalgebraic Fixed Point Logics
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
Lutz Schröder, Yde Venema
IBMSJ
2000
108views more  IBMSJ 2000»
15 years 6 months ago
Context-aware design and interaction in computer systems
As human computer interface gets more immersive, it will need to explicitly draw upon cognitive science as a basis for understanding what people are capable of doing. User experie...
Ted Selker, Winslow Burleson
150
Voted
ADBIS
2006
Springer
118views Database» more  ADBIS 2006»
16 years 13 days ago
Computational Database Technology Applied to Option Pricing Via Finite Differences
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
Jöns Åkerlund, Krister Åhlander, ...
155
Voted
IJCNLP
2005
Springer
15 years 12 months ago
Using the Structure of a Conceptual Network in Computing Semantic Relatedness
Abstract. We present a new method for computing semantic relatedness of concepts. The method relies solely on the structure of a conceptual network and eliminates the need for perf...
Iryna Gurevych
ITICSE
2006
ACM
16 years 12 days ago
Peer teaching extends HCI learning
Crafting a good user experience requires skills in several disciplines. Few people have this breadth of knowledge, and undergraduate computer science students are no exception. En...
Beryl Plimmer, Robert Amor