Sciweavers

582 search results - page 93 / 117
» Context Modeling: Context as a Dressing of a Focus
Sort
View
SIGCSE
2010
ACM
181views Education» more  SIGCSE 2010»
15 years 2 months ago
Internationalization of computer science education
Internationalization of computer science education involves incorporating awareness, knowledge and skills of professional life in a global environment. Through an NSF CPATH grant1...
Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, And...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 1 months ago
Recognition and translation Arabic-French of Named Entities: case of the Sport places
The recognition of Arabic Named Entities (NE) is a problem in different domains of Natural Language Processing (NLP) like automatic translation. Indeed, NE translation allows the ...
Abdelmajid Ben Hamadou, Odile Piton, Héla F...
126
Voted
ENTCS
2008
170views more  ENTCS 2008»
15 years 1 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
126
Voted
ISEM
2008
129views more  ISEM 2008»
15 years 1 months ago
User requirements of mobile technology: results from a content analysis of user reviews
Advanced mobile technology continues to shape professional environments. Smart cell phones, pocket computers and laptop computers reduce the need of users to remain close to a wir...
Judith Gebauer, Ya Tang, Chaiwat Baimai
JAIR
2006
101views more  JAIR 2006»
15 years 1 months ago
Resource Allocation Among Agents with MDP-Induced Preferences
Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute acti...
Dmitri A. Dolgov, Edmund H. Durfee