3619 search results - page 201 / 724 » Humor modeling in the interface |
161
click to vote
ICIP
2007
IEEE
16 years 25 days ago
2007
IEEE
We consider a recent parametric level-set segmentation approach where the implicit interface is the zero level of a continuous function expanded onto compactly supported radial ba...
166
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
140
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The model-view-controller pattern is used to keep a data model and its views consistent. Usually there is a one-to-one correspondence between the data in the model and its represen...
199
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Long term group work by small teams is a central part of many learning and workplace activities. Widespread group support tools such as wikis, version control systems and issue tra...
195
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...