5787 search results - page 400 / 1158 » Generic User Modeling Systems |
188
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
189
click to vote
IWSM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Non-functional requirements (NFRs) of software systems are an important source of uncertainty in effort estimation. Furthermore, quantitatively approaching NFR early in a...
184
Voted
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
— Manipulating microscopic objects with the necessary dexterity still remains a very challenging task. In this paper, we propose a freeze gripper able to manipulate micro-objects...
194
click to vote
ACOM
2006
Springer
16 years 23 days ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
203
click to vote
FPT
2005
IEEE
16 years 12 days ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...